UE Harmonisation dans les fondements théoriques de l'informatique