Documents Sciences formelles Modèles à correction d'erreur et fonctions d'importations agrégées - article ; n°3 ; vol.94, pg 63-77 Jean-Pierre Urbain