Should One Use Echocardiography or Contrast Transcranial Doppler Ultrasound for the Detection of a Patent Foramen Ovale after an Ischemic Cerebrovascular Accident?