The official name for the character (such as it is) is "Bibendum". Of course, since he's popularly known as "the Michelin Man", some may feel the alias should go the other way. In any case, one should be aliased to the other.
Eh, I just wanted to have some consistency, regardless, as several posts showing a character dressed as Bibendum/the Michelin Man had just been added. You never know what odd bit of international memetic info will crop up after X years...