Original location:
https://mabu.frama.io/flame/