Une extension de l'algol — Jean Legras