Page de l’équipe-projet INRIA/CRIStAL D-DAL