Miles de milicianos iraquíes han cruzado a Irán para ayudar a Teherán a reprimir las protestas en curso, según una fuente militar europea y una fuente de seguridad iraquí citadas por CNN el jueves.