Production de code par réécriture de termes de types abstraits algébriques — Raymond Rakotozafy