Synonymesthéorème de Fermat-Wiles