Where was the opera Amadis de Gaule by La Borde and Berton first performed?

A. Académie Royale de Musique, Paris (the Paris Opera)
B. Théâtre du Palais-Royal, Paris
C. Comédie-Française, Paris
D. Opéra-Comique, Paris
Answer: 