8Heureusement d’ailleurs car rien ne nous aurait empêché entre temps de modifier le type de la valeur liée à b en la remplaçant par un nombre réel par exemple, provoquant un comportement incontrôlé à l’exécution ; une telle modification est évidemment impossible avec des références puisqu’une telle référence est typée