Programme sur les mathématiques de la théorie des cordes