Un alligator échappé aux attentats du zoo de Berlin pendant la Seconde Guerre mondiale meurt à 84 ans