Principal et subsidiaire : pas de risque de contradiction