A Point Counting Algorithm Using Cohomology with Compact Support. - Gweltaz Chatel; David Lubicz (LMS J. Comput. Math., 2009)