Maintenance de l'outil Wr2fdr de traduction de Wright vers CSP - Mouti Hammami (CoRR, 2012)