Post-doctorantÉquipe Logique, calcul et programmation Encadré par Luc PélissierBureau: P2-211Email: aurore.alcolei@lacl.frTél. +33: 1 45 17 16 50Fax +33: