Qui a une idée du principe de la démonstration de la formule suivante, a priori valable dans tout le plan complexe privé de {1} ?