Gif

Comment ajouter des animations à un schéma Draw.io et le convertir en GIF sous Linux, sans outil propriétaire.