Decidability of the HD0L ultimate periodicity problem - Fabien Durand (2011)