Le Rideau de Bruxelles, au Théâtre des Martyrs