MORTEVIELLE: Some renaming in Mortevielle.h