FERMAT'S THEOREM par Hervé Carrier (bonus)