Solving cubic equations by a formula that involves only the elementary operations of sum, product, and exponentiation of the coefficients is one of the greatest results in 16th century mathematics. This was achieved by Girolamo Cardano's Ars Magna in 1545. Still, a deep, substantial difference between the quadratic and the cubic formula exists: while the quadratic formula only involves imaginary numbers when all the solutions are imaginary too, it may happen that the cubic formula contains imaginary numbers, even when the three solutions are anyway all real (and different). This means that a scholar of the time could stumble upon numerical cubic equations of which he already knew three (real) solutions and the cubic formula of which actually contains square roots of negative numbers. This will be lately called the 'casus irreducibilis '. Cardano's De Regula Aliza (Basel, 1570) is (at least, partially) meant to try to overcome the problem entailed by it.

Une variété algébrique est dite unirationnelle si elle est dominée par un espace projectif ; elle est dite séparablement unirationnelle si on peut prendre le morphisme précédent séparable. Cette dernière propriété n'a d'intérêt qu'en caractéristique positive. En reprenant la démonstration de Paranjape et Srinivas de l'unirationalité des hypersurfaces de degré très petit devant la dimension, nous remarquons qu'elle montre en fait l'unirationalité séparable. Nous nous intéressons aussi à la séparabilité des morphismes fournis par différentes constructions classiques de l'unirationalité des hypersurfaces cubiques.<br /><br />Dans la troisième partie, nous étudions la connexité rationnelle séparable : une variété projective lisse X sur un corps algébriquement clos est dite séparablement rationnellement connexe s'il existe une courbe rationnelle très libre (c'est-à-dire à fibré normal ample) sur X. Nous testons sur les hypersurfaces de Fermat de dimension N-1 et de degré q+1, où q est une puissance de la caractéristique du corps de base, la conjecture que toutes les hypersurfaces lisses de dimension N-1 et de degré plus petit que N sont séparablement rationnellement connexes. Nous montrons que pour N plus grand que 2q-1, l'hypersurface de Fermat de degré q+1 contient une courbe rationnelle très libre définie sur le sous-corps premier ; elle est donc séparablement rationnellement connexe.