Amadis de Gaule — opera by Jean-Benjamin de La Borde and Pierre Montan Berton