For the choux balls: Preheat the oven to 375 degrees F/190 degrees C. Put 1 1/2 cups/375 ml water, the butter, sugar and salt in a roomy saucepan and bring to a boil. Remove from the heat and add the flour all at once, beating until it forms a ball and pulls away from the sides of the pan. Return the pan to the heat for a minute or two and beat to dry it out a little. (Removing moisture will allow the paste to absorb more egg, which will ultimately make the puffs lighter.) Remove the pan from the heat. Beat in the eggs, the equivalent of one at a time, until fully incorporated. (Do not try to add them at once because they can't be incorporated quickly enough, it makes a total mess, and furthermore you may not need all of them.) After the third addition of egg, add only enough to make dough that will fall, glossy and heavy, from the spoon. Beat in the vanilla. Spoon the dough into a piping bag. Mix a bit of milk into any remaining egg (if no egg left, use only milk). Have at the ready with a pastry brush for glazing. Pipe the dough into evenly-sized (about 1 inch/2.5 cm) balls on a nonstick baking sheet, leaving a good 2 inches/5 cm between them so they have room to expand. Brush the tops with the glaze and press the snouts down with a fingertip. Bake until puffed up, light, dry and golden, 25 to 30 minutes. Cool on a wire rack, so they can breathe all around and will keep their shape and not go soggy. For the chocolate sauce: Heat the cream in a saucepan just to the boiling point. Turn off the heat, and add the chocolate. Let sit a minute to melt, and stir until smooth, adding more cream to thin, if needed. For assembling: Slice 12 choux balls in half (reserve the remainder for another use). Put a scoop of vanilla ice cream on the bottom half of each, then replace the tops. Arrange 3 on each serving plate, and drizzle over chocolate sauce to each person's liking.