%%%%% 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
A0 note

%%% trace du cercle initial
C0 cercle

%% 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

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

A'0 times
O times				


%%% La mediatrice de  [O A'0]
%% points necessaires a la construction
/Omega {O A'0 milieu} def
/B1 {Omega 0 R 1.2 mulv addv} def
/B2 {Omega 0 R 1.2 mulv subv} def

%% trace des arcs de cercle
A'0 B1 10 Arc
O B1 10 Arc
A'0 B2 10 Arc
O B2 10 Arc