formalisation des relations attributs - transactions