More looks from essentiel_isabelle