Optique et principe de Fermat — Pierre Provost, Jean-Pierre Provost