val2=!randitem x,y,z
val3=!randitem r,d
val4=!randitem a,b,c
val5=!randitem P,Q,E,F
val6=!htmlmath RR
val7=!htmlmath CC

val8=$val5 est un cercle, , \exists $val3\in  \RR^{+*}\char44\quad \exists $val4\in  \CC\char44 \quad \forall $val2\in  \CC\char44\quad $val2\in  $val5\Leftrightarrow |$val2-$val4|=$val3, \forall $val2\in  \CC\char44\quad \exists $val3\in  \RR^{+*}\char44\quad \exists $val4\in  \CC\char44 \quad $val2\in  $val5\Leftrightarrow |$val2-$val4|=$val3, $val2\in $val5 \Leftrightarrow |$val2-$val4|=$val3, \forall $val3\in \RR^{+*}\char44\quad \forall $val4\char44 $val2\in \CC\char44\quad $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3\
\
$val5 contient un cercle, , \exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, \forall $val2\in \CC\char44\quad \exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, \exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3 \
\
$val5 est contenue dans un cercle, ,\exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5\Rightarrow |$val2-$val4|=$val3, \forall $val2\in \CC\char44\quad  \exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad  $val2\in $val5\Rightarrow |$val2-$val4|=$val3, $val2\in $val5\Rightarrow |$val2-$val4|=$val3, \forall $val2\in \CC\char44\quad  \forall $val3\in \RR^{+*}\char44\quad \forall $val4\in \CC\char44 \quad  $val2\in $val5\Rightarrow |$val2-$val4|=$val3 \
\
$val5 est un cercle de centre $val4, et $val4 est un nombre complexe, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3, \forall $val2\in \CC\char44\quad \exists $val3\in \RR^{+*}\char44\quad  $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3,$val2\in $val5\Leftrightarrow |$val2-$val4|=$val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \Rightarrow $val2\in $val5 \
\
$val5 contient un cercle de centre $val4, et $val4 est un nombre complexe, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, \forall $val2\in \CC\char44\quad \exists $val3\in \RR^{+*}\char44\quad  |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, |$val2-$val4|=$val3 \Rightarrow $val2\in $val5 \
\
$val5 est contenue dans un cercle de centre $val4, et $val4 est un nombre complexe, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\in $val5\Rightarrow |$val2-$val4|=$val3, \forall $val2\in \CC\char44\quad \exists $val3\in \RR^{+*}\char44\quad  $val2\in $val5\Rightarrow |$val2-$val4|=$val3 , $val2\in $val5\Rightarrow |$val2-$val4|=$val3, \forall $val2\in \CC\char44\quad \forall $val3\in \RR^{+*}\char44\quad  $val2\in $val5\Rightarrow |$val2-$val4|=$val3 \
\
$val5 est un cercle de rayon $val3, et $val3 est un rel strictement positif, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3, \forall $val2\in \CC\char44\quad \exists $val4\in \CC\char44 \quad  $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3, $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3 \
\
$val5 contient un cercle de rayon $val3, et $val3 est un rel strictement positif, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \Rightarrow $val2\in $val5,  \forall $val2\in \CC\char44\quad \exists $val4\in \CC\char44 \quad |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, |$val2-$val4|=$val3 \Rightarrow $val2\in $val5 \
\
$val5 est contenue dans un cercle de rayon $val3, et $val3 est un rel strictement positif, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5\Rightarrow |$val2-$val4|=$val3, \forall $val2\in \CC\char44\quad \exists $val4\in \CC\char44 \quad  $val2\in $val5\Rightarrow |$val2-$val4|=$val3,$val2\in $val5\Rightarrow |$val2-$val4|=$val3 \
\
$val5 est le cercle de rayon $val3 et de centre $val4, $val3 est un rel strictement positif et $val4 est un nombre complexe, \forall $val2\in \CC\char44\quad $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3, \exists $val2\in \CC\char44\quad $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3, $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3, $val2\in $val5\Rightarrow |$val2-$val4|=$val3 \
\
$val5 contient le cercle de rayon $val3 et de centre $val4, $val3 est un rel strictement positif et $val4 est un nombre complexe, \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, \exists $val2\in \CC\char44\quad |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, |$val2-$val4|=$val3 \Rightarrow $val2\in $val5, $val2\in $val5\Leftrightarrow |$val2-$val4|=$val3 \
\
$val5 est contenu dans le cercle de rayon $val3 et de centre $val4, $val3 est un rel strictement positif et $val4 est un nombre complexe,\forall $val2\in \CC\char44\quad $val2\in $val5\Rightarrow |$val2-$val4|=$val3 , \exists $val2\in \CC\char44\quad $val2\in $val5\Rightarrow |$val2-$val4|=$val3 , $val2\in $val5\Rightarrow |$val2-$val4|=$val3, |$val2-$val4|=$val3 \Rightarrow $val2\in $val5 \
\
$val5 ne contient aucun cercle, , \forall $val3\in \RR^{+*}\char44\quad \forall $val4\in \CC\char44 \quad \exists $val2\in \CC\char44\quad |$val2-$val4|=$val3 \quad {\rm et} \quad $val2\notin $val5, \exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \quad {\rm et} \quad $val2\notin $val5, \forall $val3\in \RR^{+*}\char44\quad \forall $val4\in \CC\char44 \quad \exists $val2\in \CC\char44\quad |$val2-$val4|=$val3 \Rightarrow \quad $val2\notin $val5, |$val2-$val4|=$val3 \Rightarrow \quad $val2\notin $val5, \exists $val2\in \CC\char44\quad |$val2-$val4|=$val3 \quad {\rm et} \quad $val2\notin $val5, \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \quad {\rm et} \quad $val2\notin $val5 \
\
$val5 n'est contenue dans aucun cercle, ,\forall $val3\in \RR^{+*}\char44\quad \forall $val4\in \CC\char44 \quad \exists $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|\neq $val3, \exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|\neq $val3, \exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3, \forall $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3, \exists $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3 \
\
$val5 ne contient pas le cercle de rayon $val3 et de centre $val4,  $val3 est un rel strictement positif et $val4 est un nombre complexe, \exists $val2\in \CC\char44\quad |$val2-$val4|=$val3 \quad {\rm et} \quad $val2\notin $val5, \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \quad {\rm et} \quad $val2\notin $val5, \forall $val2\in \CC\char44\quad |$val2-$val4|=$val3 \Rightarrow $val2\notin $val5, |$val2-$val4|=$val3 \Rightarrow $val2\notin $val5, |$val2-$val4|=$val3 \quad {\rm et} \quad $val2\notin $val5 \
\
$val5 n'est pas contenue dans le cercle de rayon $val3 et de centre $val4, $val3 est un rel strictement positif et $val4 est un nombre complexe,\exists $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|\neq $val3, \forall $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|\neq $val3, \forall $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3, $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3, \forall $val2\in \CC\char44\quad |$val2-$val4|\neq $val3 \Rightarrow $val2\in $val5 \
\
$val5 ne contient aucun cercle de rayon $val3, et $val3 est un rel strictement positif, \forall $val4\in \CC\char44 \quad \exists $val2\in \CC\char44\quad $val2\notin $val5 \quad {\rm et} \quad |$val2-$val4|=$val3, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\notin $val5 \quad {\rm et} \quad |$val2-$val4|=$val3, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\notin $val5 \Rightarrow |$val2-$val4|=$val3, \forall $val2\in \CC\char44\quad $val2\notin $val5 \Rightarrow |$val2-$val4|=$val3\
\
Aucun cercle de rayon $val3 ne contient $val5, et $val3 est un rel strictement positif, \forall $val4\in \CC\char44 \quad \exists $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|\neq $val3, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|\neq $val3, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3, \forall $val4\in \CC\char44 \quad \exists $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3 \
\
$val5 ne contient aucun cercle de centre $val4, et $val4 est un nombre complexe, \forall $val3\in \RR^{+*}\char44\quad \exists $val2\in \CC\char44\quad $val2\notin $val5 \quad {\rm et} \quad |$val2-$val4|=$val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\notin $val5 \quad {\rm et} \quad |$val2-$val4|=$val3, $val2\notin $val5 \quad {\rm et} \quad |$val2-$val4|=$val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\notin $val5 \Rightarrow |$val2-$val4|=$val3 \
\
Aucun cercle de centre $val4 ne contient $val5, et $val4 est un nombre complexe, \forall $val3\in \RR^{+*}\char44\quad \exists $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|\neq $val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\in  $val5 \quad {\rm et} \quad |$val2-$val4|\neq $val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3, $val2\in $val5 \Rightarrow |$val2-$val4|\neq $val3  

tmp0=!linecnt $val8
val9=$[rint(($(tmp0)+1)/2)]
tmp0=!randint 1, $val9
val10=$[rint(2*$(tmp0)-1)]

val11=!line $val10 of $val8

val29=!item 2 of $val11
contexte=$val5 est une partie de $m_CC $val29

!if $forma=1
   enonce=!item 1 of $val11
   goodrep=!item 3 of $val11
   tmp=!itemcnt $val11
   tmp1=!item 4 to $tmp of $val11
   tmp=(),\()
   tmp=!char 2 to -2 of $tmp
   badrep1=!replace internal , by $tmp in $tmp1
   badrep1=\($badrep1)
   goodrep=\($goodrep)
   tmp=!line 1 of $val8
   tmp1=!item 3 of $tmp
   badrep2=\($(tmp1))
   !for val18 =2 to $val9 
      tmp=!line $[2*$val18-1] of $val8
      tmp1=!item 3 of $tmp
      badrep2=$badrep2,\($(tmp1))
   !next
!else
   tmp0=!item 3 of $val11
   enonce=\($(tmp0))
   tmp0=!item 1 of $val11
   goodrep=$(tmp0)
   tmp=!line 1 of $val8
   tmp1=!item 1 of $tmp
   badrep1=$(tmp1)
   !for val18 =2 to $val9 
      tmp=!line $[2*$val18-1] of $val8
      tmp1=!item 1 of $tmp
      badrep1=$badrep1,$(tmp1)
   !next
   badrep2=$empty
!endif
!read question.ini formtrad
chronodirect=non
convent=$empty
