Logique (sciences de l'ingénieur)/Référents