Source: https://www.compilatio.net/user/v32/bao/guide_utilisateur.pdf