Luca Castelli Aleardi Enseignant-chercheur, Polytechnique Contact information Email amturing lix.polytechnique.fr Web page http://www.lix.polytechnique.fr/~amturing