Spécification algébrique à l'aide de types abstraits du système Exprim — Mekki Boukakiou