Exercice 28, § 5

Soient $k$ un corps, $k'$ une extension de $k$. Montrer que pour toute extension $k''$ de $k$, $k' \otimes_k k''$ est un anneau noethérien régulier si et seulement si $k'$ est une extension séparable de type fini de $k$.