Où va la trompe d’Eustache ?