Julien Weibel
Office B102
équipe SIERRA, Centre Inria de Paris
48, rue Barrault
CS 61534
75647 PARIS CEDEX
France

E-mail: julien [dot] weibel [at] normalesup [dot] fr
or julien [dot] weibel [at] inria [dot] fr