Plusieurs commits:
A partir de CNMP, utilisation de la branche frama-c fix/eva/offsetmap : risque d'erreur lors de la CI
fix/eva/offsetmap