float moyenne (float, float);