Gretry's Richard Coeur de Lion at the Opéra Royal de Versailles