1. Inria Rennes-Bretagne Atlantique, Campus de Beaulieu, F35042 Rennes, France. eric.badouel@inria.fr
2. Department of Computing Science, Carl von Ossietzky Universität Oldenburg, D-26111 Oldenburg, Germany. uli.schlachter@informatik.uni-oldenburg.de