Prevalence of factor V Leiden in a population of patients with congenital heart disease