Title: Biographical notice of Joseph Gautherot