Institution: | 1. Institut de Mathématiques de Bordeaux, UMR CNRS 5251, Université de Bordeaux, 351 cours de la libération, 33405 Talence Cedex, France;2. INRIA Bordeaux Sud-Ouest, ALEA team, France;3. INRIA Bordeaux Sud-Ouest, CQFD team, France;4. Institut Polytechnique de Bordeaux, 1 avenue du Dr Albert Schweitzer, 33402 Talence Cedex, France |