Résumé :
Nous expliquons comment la théorie abstraite d'Artin-Schreier qui résoud le 17 ème problème de Hilbert peut être interprétée comme une invitation à vraiment construire des sommes de carrés. Pour cela nous remplaçons les objets ''trop abstraits" dont parle la preuve classique par des spécifications incomplètes de ces mêmes objets.Erratum
Une coquille s'est glissée dans la version originale, dans le paragraphe 1.1, lorsqu'on décrit le cône engendré par une partie C. Le pdf actuel est une version corrigée.Abstract :
We explain how it is possible to construct explicit sums of squares by deciphering an abstract proof giving a positive answer to the 17th Hilbert's Problem. When doing this job we replace abstract objects in the classical proof by incomplete specifications of these objects.