Analyse formelle d'algorithmes, Roland… · Super Livre