Aspects de la notion de type en programmation — Jean Boulenger, Marc Kronental