Les travaux du métro de Paris rue de Rivoli