implementation of a dynamical computation of BNF based on the PhD work of Jaime RIANO SANCHEZ - See chapter 5 of his PhD manuscript : https://theses.hal.science/tel-04122183v1/document