"Cocodrilo" es un término comúnmente usado en un sentido mucho más amplio.