Crocodile : définitions