https://perretmotoculture.com/certified-algorithmique-overview/