proportionnalité de formules