real-life michelin man dies at 87