https://intro-kodkod-6.nm-ambition.com/fr/docs/installations/01-installations/monthly0.5