Hot devil (cervela)