double proportionnalité