L'éternité, c'est long : divergence, théorie des domaines, approches coinductives