Assurer la cohérence des programmes par le typage