Title: Formalisation quantitative du long terme