La Fête du cordonnier – Fantaisie comique sur tréteaux et sous étoiles