Théorème sur les surfaces d'onde en optique géométrique, avec une note sur le miroir intégral — René Damien