Présentation de 183.jps

%% auteur : GH


-2 10 setxrange
-2.5 7 setyrange

/xE 1 def %% abscisse des éléments de E

/E1 {xE 0} def
/E2 {xE 1.4} def
/E3 {xE 2.7} def
/E4 {xE 3.7} def
/E5 {xE 5.3} def
/E {[E3 2 4 0]} def


/xF 7 def %% abscisse des éléments de F

/F1 {xF 0} def
/F2 {xF 1.6} def
/F3 {xF 2.4} def
/F4 {xF 3.9} def
/F5 {xF 5} def
/F {[F3 2 4 0]} def

%% définition de couleur

/grisclair {.95 .95 .95 setrgbcolor} def
/violet {.63 .53 .67 setrgbcolor} def

%% On représente les ensembles

/fillstyle {grisclair fill} def
E ellipse*
F ellipse*
%% et leurs noms

<latex>
$E$
</latex>
E3 0 4 subv [1.5 dup] dctexlabel
<latex>
$F$
</latex>
F3 0 4 subv [1.5 dup] dctexlabel

%% On représente les points des ensembles

[E1 E2 E3 E4 E5] points
[F1 F2 F3 F4 F5] points

%% On représente les flèches de l'application

E1 F1 (->) pcarc
E2 F3 (->) pcarc
E3 F3 (->) pcarc
E5 F4 (->) pcarc