L'Opéra royal de Versailles (1770), une réalisation d'Ange-Jacques Gabriel