(English) Paper accepted to CADE 2013

Désolé, cet article est seulement disponible en Anglais Américain.