let rec _Coherence_HashTable hashTableParcours hashTableRef = 
  match hashTableParcours with
    [] -> []
  | Autre(nomModule, id, Inconnu)::liste_restante -> 
      (_Modification_Element (Autre(nomModule, id, Inconnu)) hashTableRef)
      ::_Coherence_HashTable liste_restante hashTableRef
  | cet_element::liste_restante -> 
      cet_element
      ::_Coherence_HashTable liste_restante hashTableRef