Ce document présente les activités de recherche qui ont été menées conjointement entre le projet MADYNES du LORIA et Concordia University de Montréal dans le cadre d'une coopération financée par le FFCR (Fonds France-Canada pour la Recherche). Ces activités de recherche portent sur la formalisation et le test des protocoles IPv6. || This document presents research activities achieved between MADYNES project from LORIA and Concordia University from Montreal, within the framework of a cooperation funded by FFCR (Fonds France-Canada for Research). These research activities are related