The theme of this talk is the connection between the pro-unipotent fundamental group 
 of a pointed modular curve 
, algebraic cycles, and special values of 
-functions. The extension of mixed Hodge structures arising in the second stage in the lower central series of 
 gives rise to a supply of points on the Jacobian 
 of 
, indexed by Hodge cycles on the surface 
. I will explain how these points can be computed in practice and how are related to the image of the diagonal in 
 under the (complex, étale or 
-adic de Rham) Abel-Jacobi map.  When combined with a formula of Gross-Zagier type for triple product 
-functions obtained by X. Yuan, S. Zhang and W. Zhang, this yields a criterion, in terms of the leading terms of certain L-series attached to modular forms, for these points to be of infinite order.  This reports on a joint work with H. Darmon (partly in collaboration with M. Daub, S. Lichstenstein, I. Sols and W. Stein).