la formule prend en compte les anti types