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 disque, , \exists $val3\in  \RR^{+*}\char44\quad \exists $val4\in  \CC\char44 \quad \forall $val2\in  \CC\char44\quad $val2\in  $val5\Leftrightarrow |$val2-$val4|\leq $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|\leq $val3, $val2\in $val5 \Leftrightarrow |$val2-$val4|\leq $val3, \forall $val3\in \RR^{+*}\char44\quad \forall $val4\char44 $val2\in \CC\char44\quad $val2\in $val5\Leftrightarrow |$val2-$val4|\leq $val3 \
\
$val5 contient un disque, , \exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad |$val2-$val4|\leq $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|\leq $val3 \Rightarrow $val2\in $val5, |$val2-$val4|\leq $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|\leq $val3 \
\
$val5 est contenue dans un disque, ,\exists $val3\in \RR^{+*}\char44\quad \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5\Rightarrow |$val2-$val4|\leq $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|\leq $val3, $val2\in $val5\Rightarrow |$val2-$val4|\leq $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|\leq $val3 \
\
$val5 est un disque 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|\leq $val3, \forall $val2\in \CC\char44\quad \exists $val3\in \RR^{+*}\char44\quad  $val2\in $val5\Leftrightarrow |$val2-$val4|\leq $val3,$val2\in $val5\Leftrightarrow |$val2-$val4|\leq $val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5 \
\
$val5 contient un disque de centre $val4, et $val4 est un nombre complexe, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5, \forall $val2\in \CC\char44\quad \exists $val3\in \RR^{+*}\char44\quad  |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5, |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5 \
\
$val5 est contenue dans un disque 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|\leq $val3, \forall $val2\in \CC\char44\quad \exists $val3\in \RR^{+*}\char44\quad  $val2\in $val5\Rightarrow |$val2-$val4|\leq $val3 , $val2\in $val5\Rightarrow |$val2-$val4|\leq $val3, \forall $val2\in \CC\char44\quad \forall $val3\in \RR^{+*}\char44\quad  $val2\in $val5\Rightarrow |$val2-$val4|\leq $val3 \
\
$val5 est un disque 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|\leq $val3, \forall $val2\in \CC\char44\quad \exists $val4\in \CC\char44 \quad  $val2\in $val5\Leftrightarrow |$val2-$val4|\leq $val3, $val2\in $val5\Leftrightarrow |$val2-$val4|\leq $val3 \
\
$val5 contient un disque de rayon $val3, et $val3 est un rel strictement positif, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5,  \forall $val2\in \CC\char44\quad \exists $val4\in \CC\char44 \quad |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5, |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5 \
\
$val5 est contenue dans un disque 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|\leq $val3, \forall $val2\in \CC\char44\quad \exists $val4\in \CC\char44 \quad  $val2\in $val5\Rightarrow |$val2-$val4|\leq $val3,$val2\in $val5\Rightarrow |$val2-$val4|\leq $val3 \
\
$val5 est le disque 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|\leq $val3, \exists $val2\in \CC\char44\quad $val2\in $val5\Leftrightarrow |$val2-$val4|\leq $val3, $val2\in $val5\Leftrightarrow |$val2-$val4|\leq $val3, $val2\in $val5\Rightarrow |$val2-$val4|\leq $val3 \
\
$val5 contient le disque 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|\leq $val3 \Rightarrow $val2\in $val5, \exists $val2\in \CC\char44\quad |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5, |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5, $val2\in $val5\Leftrightarrow |$val2-$val4|\leq $val3\
\
$val5 est contenue dans le disque 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|\leq $val3 , \exists $val2\in \CC\char44\quad $val2\in $val5\Rightarrow |$val2-$val4|\leq $val3 , $val2\in $val5\Rightarrow |$val2-$val4|\leq $val3, |$val2-$val4|\leq $val3 \Rightarrow $val2\in $val5 \
\
$val5 ne contient aucun disque, , \forall $val3\in \RR^{+*}\char44\quad \forall $val4\in \CC\char44 \quad \exists $val2\in \CC\char44\quad |$val2-$val4|\leq $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|\leq $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|\leq $val3 \Rightarrow \quad $val2\notin $val5, |$val2-$val4|\leq $val3 \Rightarrow \quad $val2\notin $val5, \exists $val2\in \CC\char44\quad |$val2-$val4|\leq $val3 \quad {\rm et} \quad $val2\notin $val5, \forall $val2\in \CC\char44\quad |$val2-$val4|\leq $val3 \quad {\rm et} \quad $val2\notin $val5 \
\
$val5 n'est contenue dans aucun disque, ,\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|> $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|> $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|> $val3, \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 \
\
$val5 ne contient pas le disque 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|\leq $val3 \quad {\rm et} \quad $val2\notin $val5, \forall $val2\in \CC\char44\quad |$val2-$val4|\leq $val3 \quad {\rm et} \quad $val2\notin $val5, \forall $val2\in \CC\char44\quad |$val2-$val4|\leq $val3 \Rightarrow $val2\notin $val5, |$val2-$val4|\leq $val3 \Rightarrow $val2\notin $val5, |$val2-$val4|\leq $val3 \quad {\rm et} \quad $val2\notin $val5 \
\
$val5 n'est pas contenu dans le disque 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|> $val3, \forall $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|>$val3, \forall $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|>$val3, $val2\in $val5 \Rightarrow |$val2-$val4|>$val3, \forall $val2\in \CC\char44\quad |$val2-$val4|>$val3 \Rightarrow $val2\in $val5 \
\
$val5 ne contient aucun disque 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|\leq $val3, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\notin $val5 \quad {\rm et} \quad |$val2-$val4|\leq $val3, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\notin $val5 \Rightarrow |$val2-$val4|\leq $val3, \forall $val2\in \CC\char44\quad $val2\notin $val5 \Rightarrow |$val2-$val4|\leq $val3 \
\
Aucun disque 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|>$val3, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5 \quad {\rm et} \quad |$val2-$val4|>$val3, \exists $val4\in \CC\char44 \quad \forall $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|>$val3, \forall $val4\in \CC\char44 \quad \exists $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|>$val3 \
\
$val5 ne contient aucun disque 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|\leq $val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\notin $val5 \quad {\rm et} \quad |$val2-$val4|\leq $val3, $val2\notin $val5 \quad {\rm et} \quad |$val2-$val4|\leq $val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\notin $val5 \Rightarrow |$val2-$val4|\leq $val3 \
\
Aucun disque 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|>$val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\in  $val5 \quad {\rm et} \quad |$val2-$val4|>$val3, \exists $val3\in \RR^{+*}\char44\quad \forall $val2\in \CC\char44\quad $val2\in $val5 \Rightarrow |$val2-$val4|>$val3, $val2\in $val5 \Rightarrow |$val2-$val4|>$val3 

tmp0=!linecnt $val8
val9=$[rint(($(tmp0)+1)/2)]
tmp0=!randint 1, $val9
val11=!line $[rint(2*$(tmp0)-1)] 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
