Edgardo Rocha, Orchestre de l'Opéra Royal de ...