%%%%% les anciens traces %%%%% 
.6 setgray

%%% trace des axes
gsave
   mixte
   traceOx
grestore

%%% la style pour les points definitifs
/dotscale {1.5 1.5} def
/note {
   gsave
      bleu
      point
   grestore
} def

/R 4 def			%% rayon du cercle initial

/A0 {R 0} def			%% le point initial
/C0 {O dupp A0 distance} def	%% le cercle initial
/A'0 {R neg 0} def		%% le point diametralement oppose au
				%% point initial
/I {0 R} def			%% un point d'intersection du cercle
				%% initial avec l'axe vertical

%%% trace des points initiaux
O times				
A0 note

%%%%% nouveau trace %%%%% 
0 setgray

%%% trace du cercle initial
C0 cercle
A'0 times

%% trace du point I
/I' {I 0 1.5 addv} def
A0 I' 10 Arc
A'0 I' 10 Arc

O I' 1.1 trait
I times