Oh man this is stirring up some memories from early grade school about an English version of this that we used to sing about a boy with a long name and his younger brother.
I always wondered if that was just the moral of the story: don’t give your children long names. Which my parents did to me 😡
Ah yep that triggered the full memory for me…it was a book called Tikki Tikki Tempo: https://en.wikipedia.org/wiki/Tikki_Tikki_Tembo