Technique de la programmation - Hardouin-Mercier, G. (rz1, 1974)