Opéra national de Lorraine.