"Lambda-calcul / Jean-Louis Krivine" a été ajoutée ! Votre panier contient 46 notice(s).