Extraction de programmes dans le calcul des constructions — Christine Paulin-Mohring