1. Institut de Mathématiques de Bordeaux, UMR CNRS 5251, Université de Bordeaux, Talence Cedex, France;
2. CQFD Team, INRIA Bordeaux Sud-Ouest, Talence, France;
3. ISPED, INSERM U-1219, Université de Bordeaux, Bordeaux, France;
4. SISTM Team, INRIA Bordeaux Sud-Ouest, Talence, France