c'est bien la constitution Pastor Aeternus du Concile Vatican I qui définit le dogme de l'infaillibilité pontificale ! Un bon point pour vous.

Je vous en cite un autre extrait :

Nous enseignons et proclamons comme un dogme révélé de Dieu :
Le pontife romain, lorsqu'il parle EX CATHEDRA, c'est à dire lorsque, remplissant sa charge de pasteur et de docteur de tous les chrétiens, il définit, en vertu de sa suprême autorité apostolique, qu'une doctrine, EN MATIERE DE FOI OU DE MORALE, doit être admise par toute l'Eglise, jouit par l'assistance divine à lui promise en la personne de saint Pierre, de cette INFAILLIBILITE dont le divin Rédempteur a voulu que fût pourvue l'Eglise, lorsqu'elle définit la doctrine sur la foi ou la morale. Par conséquent, ces définitions du Pontife romain sont irréformables de par elles-mêmes et non en vertu du consentement de l'Eglise.

Notez que, pour établir le dogme, Pie IX utilise la formule

Nous enseignons et proclamons comme un dogme révélé de Dieu

Notez aussi qu'il est précisé

lorsqu'il parle ex cathedra

, c'est à dire qu'il s'exprime "comme docteur suprême de l'Eglise universelle, en qui réside d'une façon particulière le charisme de l'infaillibilité de l'Eglise elle-même" (Vatican II - Lumen gentium)

Mais je vais néanmoins suivre votre conseil et relire l'intégralité de la constitution Pastor Aeternus.

A bientôt
Une Ame