On m'écrit :

"Au fil des consultations d'archives, j'enrichis ma "base de données" sur les thèses en calcul et en informatique soutenues de 1956 à 1973.
La bibliothèque de l'ENS Ulm a une collection des thèses de mathématiques soutenues depuis le début du XXe siècle. Remarquable fonds, bien que classé approximativement…

Je viens d'y découvrir qu'un certain Louis Cariou, ingénieur ENSM Nantes, a soutenu en 1959 à Rennes une thèse de Doct.-Ing., "Etude du programme d'assemblage symbolique optimum PASO II" (= assembleur de l'IBM 650, la même machine qu'à Nancy). Ce travail décrit PASO II et présente une amélioration destinée à pallier le manque de virgule flottante. Ce serait donc la toute première thèse française sur un outil de programmation [...] "