La nouvelle immatriculation des véhicules

Avant :

AEteImmatriculéPar : véhicules * (Date * Date) >+> IMMATRICULAION

/* Un véhicule est immatriculé de telle date à telle date par un et un seul n° d'immatriculation,
lequel n'immatricule qu'un seul véhicule
Mais au cours de sa vie, il peut avoir plusieurs immatriculations */

Maintenant :

AEteImmatriculéPar : véhicules >-> IMMATRICULATION

Exercice :
Spécifier les opérations changementDImmatriculation dans l'ancien système (par exemple quand le véhicule a son propriétaire qui change de département de domicile).
Rechercher la ou les circulaires ministérielles qui précisent si dans le nouveau système, quand un véhicule sera détruit, son immatriculation pourra être réutilisée... et spécifier en conséquence.