Aboulker, Pierre, Département Informatique, École Normale Supérieure, Paris, France