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

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

%% trace de la mediatrice et du point milieu
B1 B2 droite
Omega times 

%% le cercle de centre Omega passant par I
/C1 {Omega I IAcercle} def

%% et son intersction M avec [O A0]
O A0 C1 interdroitecercle /M defpoint pop

%% trace de l'arc de cercl
90 -10 C1 Cercle
%% et du point d'intersection

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

M times
O times				

%% trace de la mediatrice de [OM]
%% les points necessaires a la construction simulee au compas
/H {O M milieu} def
/B'1 {H 0 R 1.2 mulv addv} def
/B'2 {H 0 R 1.2 mulv subv} def

%% les arcs de cercle
A0 B'1 10 Arc
O B'1 10 Arc
A0 B'2 10 Arc
O B'2 10 Arc