De Fermat and the method of ‘Descente infinie’ Update 2021-07-04 De Fermat and the method of ‘Descente infinie’ Update 2021-07-04