%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
\documentclass[a4paper,9pt]{amsart}
\input{../config/preambule}
\input{../config/macros}
\title{Différentielles}
\externaldocument{extensions-algebriques}
\externaldocument{correspondance-galois}
\externaldocument{formes-tordues}
\externaldocument{spectre}
\externaldocument{verselles}
\externaldocument{corps-finis}
\externaldocument{entiers}
\externaldocument{categories}
\begin{document}
\maketitle
\tableofcontents
\else
\chapter{Différentielles}
\begingroup
\fi

\section{}


\section{}

\begin{théorème2}
\XXX
Une extension $K\bo k$ est algébrique séparable
si et seulement si $Ω¹_{K\bo k}=0$.
\end{théorème2}






\ifx\danslelivre\undefined
\bibliography{../biblio/bibliographie-livre}
\bibliographystyle{../biblio/style-bib-livre}
\end{document}
\else
\endgroup
\fi