Distribution et crédits de « Red Crocodile »