\input{classification_finie/ba}
\input{classification_finie/finit_classif}