[Health education and the prevention of HIV infection in schools]