Programmation automatique simplifiée Yves Harrand — 1962 Annales scientifiques de l'Université de Clermont. Mathématiques