Définitionscatze marine