Le crocodile, un animal de compagnie