tokens: La conjecture qui date du milieu des années 1950 a été finalement démontrée complètement en 1999 , à partir des idées d' Andrew Wiles , qui l' avait déjà prouvée en 1994 pour une large famille de courbes elliptiques .