Todos lo llamamos el muñeco de Michelin, pero en realidad tiene un nombre diferente y una historia muy especial.