une proportion à démontrer