Chorégraphie, ou l'art de décrire la danse par caractères, figures et signes démonstratifs