feature #4559 :  Fix a compilation pb