https://isabelle-b.ch/types/data/https://isabelle-b.ch/types/illustration/https://isabelle-b.ch/types/motion/https://isabelle-b.ch/types/realisation/https://isabelle-b.ch/types/generiques-habillage/