L'équation réelle de Fermat — Jean-Pierre Michon