Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires.