. La-partie-de-calcul-est-un-outil-pin, Son installation nécessite celle d'une version récente de Pin. Nos expériences ont été faites avec la version 2.11, dites 49306, 2012.