Démontrer pour déduire une particularité