Post-doctorantÉquipe Logique, calcul et programmation Encadré par Bureau: P2-228Email: anael.grandjean@u-pec.frTél. +33: 0145171647Fax +33: 0145176601