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