Number of deaths among HIV-infected adults in France in 2000, three-source capture–recapture estimation