Address: INRIA Paris-Rocquencourt B.P. 105 78153 Le Chesnay Cedex France E-mail: Francesco.Zappa_Nardelli (at) inria.fr Phone: +33 (0)1 3963 5149 Fax: +33 (0)1 3963 5469 My gpg public key (key fingerprint)