C'est pas grave mais merci quand même. En fait, la question que je me pose, c'est comment démontrer le théorème de Biernacki (de 1955) qui constitue une sorte de réciproque au théorème de Gauss-Lucas (les racines de P' sont dans l'enveloppe convexe des racines de P) et dont la démonstration nécessite le théorème de Grace.