See http://teamcity.lrde.epita.fr/project.html?projectId=Vcsn&tab=preport_project5_Coverage&branch_Vcsn=__all_branches__