I am not at the PS Lab anymore. Please see my homepage at the Laboratoire Spécification et Vérification at ENS Cachan.