1. Laboratoire de Mathématiques Nicolas Oresme, UMR 6139 CNRS, Université de Caen, 14032 Caen, France
2. Laboratoire Preuves, Programmes, Systèmes, UMR 7126 CNRS, Université Paris-Diderot, 75205 Paris 13, France
3. OCAMI, Osaka City University, 3-3-138 Sugimoto, Sumiyoshi, Osaka, 558-8585, Japan