Nota introduttiva al Grand Divertissement royal de Versailles