Jotei : un planificateur hebdomadaire fonctionnant hors ligne, avec synchronisation chiffrée de bout en bout optionnelle