diff --git a/Cartesian_kernel/TODO b/Cartesian_kernel/TODO
index bd521bb28c5..1cf002206b8 100644
--- a/Cartesian_kernel/TODO
+++ b/Cartesian_kernel/TODO
@@ -1,12 +1,8 @@
 Stuff to look at, as time permits:
 ----------------------------------
 
-- New NT requirement about greatest common divisor.
-
 - Why Ray_3 and Line_3 don't have the same internal representation ???
 
-- Mariette would like Circle intersection.
-
 - Triangle-Triangle instersection (and predicate) :
     Tomas Möller. A fast triangle-triangle intersection test. Journal of
     Graphics Tools, 2(2):25-30, 1997
@@ -46,7 +42,6 @@ Backward
 ------------------------
 
 - Tests :
-  - GCOV
   - Write a Checker for full kernels, like Pm_traits_checker.h ?
   - Advanced kernel, Cd.