1. Laboratoire d’Informatique Fondamentale (LIF), Aix-Marseille Université, 13288 Marseille Cedex 9, France. ian.gambini@univ-amu.fr
2. Laboratoire de mathématiques, CNRS UMR 5127, Université de Savoie Mont Blanc, 73376 Le Bourget-du-lac Cedex, France. Laurent.Vuillon@univ-smb.fr