forked from benperso/translation
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathdoc_fr.properties
1780 lines (1780 loc) · 84.9 KB
/
doc_fr.properties
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
axiom_Antonym1_diagnostic=antonymie
axiom_Antonym1_justification=par antonymie de 'plus jeune' et 'plus vieux'
axiom_Antonym2_diagnostic=antonymie
axiom_Antonym2_justification=par antonymie de 'plus jeune' et 'plus vieux'
axiom_Superlative1_diagnostic=unicité
axiom_Superlative1_justification=par unicité du plus jeune
axiom_Superlative2_diagnostic=unicité
axiom_Superlative2_justification=par unicité du plus vieux
axiom_adabsurdium_diagnostic=absurde
axiom_adabsurdium_justification=par l'absurde
axiom_addsub_diagnostic=addition et soustraction
axiom_addsub_justification=par addition et soustraction de {1} à {0}
axiom_app_def_diagnostic=application
axiom_app_def_justification=par définition de {0} appliquée à {1}
axiom_app_sqrt_bounded_diagnostic=racine carrée
axiom_app_sqrt_bounded_justification=par application de la racine carrée
axiom_app_sqrt_diagnostic=racine carrée
axiom_app_sqrt_justification=par application de la racine carrée
axiom_app_square_bounded_diagnostic=carré
axiom_app_square_bounded_justification=par passage au carré
axiom_app_square_diagnostic=carré
axiom_app_square_justification=par passage au carré
axiom_apply_forall_diagnostic=application
axiom_apply_forall_justification=par application à {0}
axiom_apply_fun_lr_diagnostic=application fonctionnelle
axiom_apply_fun_lr_justification=par application à gauche et à droite de {0}
axiom_apply_ineq_inverse_diagnostic=inverse
axiom_apply_ineq_inverse_justification=par décroissance de la fonction inverse sur ℝ*
axiom_apply_ineq_sqrt_diagnostic=racine carrée
axiom_apply_ineq_sqrt_justification=par application de la racine carrée
axiom_apply_ineq_square_diagnostic=carré
axiom_apply_ineq_square_justification=par passage au carré
axiom_arith_def_diagnostic=définition
axiom_arith_def_justification=par défnition d'une suite arithmétique
axiom_arith_pro_diagnostic=formulation explicite
axiom_arith_pro_justification=par formulation explicite d'une suite arithmétique
axiom_ax_bad_diagnostic=mensonge des pires
axiom_ax_bad_justification=par mesonge des pires
axiom_ax_good_diagnostic=vérité des purs
axiom_ax_good_justification=par vérité des purs
axiom_back_elim_equiv_diagnostic=définition
axiom_back_elim_equiv_justification=par définition de l'équivalence
axiom_bound_conj_diagnostic=définition
axiom_bound_conj_justification=par définition de la double inégalité
axiom_bound_to_eq_diagnostic=encadrement
axiom_bound_to_eq_justification=par encadrement large par une valeur
axiom_bounded_elim_diagnostic=encadrement
axiom_bounded_elim_justification=par définition
axiom_case_base_binary_diagnostic=tiers exclu
axiom_case_base_binary_justification=par application du tier exclu
axiom_case_base_diagnostic=disjonction de cas
axiom_case_base_justification=par disjonction de cas
axiom_case_good_or_bad_diagnostic=disjonction pur ou pire
axiom_case_good_or_bad_justification=par disjonction pur ou pure
axiom_comb_comp_lt_diagnostic=composition
axiom_comb_comp_lt_justification=par composition d'inclusions
axiom_combadd_diagnostic=addition
axiom_combadd_justification=par addition
axiom_combine_cmp_minus_diagnostic=soustraction
axiom_combine_cmp_minus_justification=par soustraction d'inégalités
axiom_combine_cmp_plus_diagnostic=addition
axiom_combine_cmp_plus_justification=par addition d'inégalités
axiom_combsub_diagnostic=soustraction
axiom_combsub_justification=par soustraction
axiom_commutativity_diagnostic=commutativité
axiom_commutativity_justification=par commutativité
axiom_conj_diagnostic=conjonction
axiom_conj_justification=par défnition de la conjonction
axiom_deduce_not_color_diagnostic=binarité de la couleur
axiom_deduce_not_color_justification=par binarité de la couleur du chapeau
axiom_def_fbij_diagnostic=fonction bijective
axiom_def_fbij_justification=par définition d'une fonction bijective
axiom_def_fcomp_diagnostic=composition de fontions
axiom_def_fcomp_justification=par définition de la composition de fonctions
axiom_def_finj_diagnostic=injective
axiom_def_finj_justification=par définition d'une fonction injective
axiom_def_finvol_diagnostic=involutive
axiom_def_finvol_justification=par définition d'une fonction involutive
axiom_def_fsurj_diagnostic=surjective
axiom_def_fsurj_justification=par définition d'une fonction surjective
axiom_def_rantisym_diagnostic=antsymétrique
axiom_def_rantisym_justification=par définition d'une relation antisymétrique
axiom_def_rcomp_diagnostic=composition
axiom_def_rcomp_justification=par définition de la composition de relations
axiom_def_rfun_diagnostic=fonctionnelle
axiom_def_rfun_justification=par définition d'une relation fonctionnelle
axiom_def_rident_diagnostic=identité
axiom_def_rident_justification=par définition de la relation identité
axiom_def_rinj_diagnostic=injective
axiom_def_rinj_justification=par définition d'une relation injective
axiom_def_rinv_diagnostic=inverse
axiom_def_rinv_justification=par définition de la relation inverse
axiom_def_rrefl_diagnostic=réflexive
axiom_def_rrefl_justification=par définition d'une relation réflexive
axiom_def_rsurj_diagnostic=surjective
axiom_def_rsurj_justification=par définition d'une relation surjective
axiom_def_rsym_diagnostic=symétrique
axiom_def_rsym_justification=par définition d'une relation symétrique
axiom_def_rtotleft_diagnostic=totale à gauche
axiom_def_rtotleft_justification=par définition d'une relation totale à gauche
axiom_def_rtrans_diagnostic=transitive
axiom_def_rtrans_justification=par définition d'une relation transitive
axiom_elim_comp_diagnostic=inégalité large
axiom_elim_comp_justification=par définition de l'inégalité large
axiom_elim_conj_left_diagnostic=déduction à gauche
axiom_elim_conj_left_justification=par déduction à gauche
axiom_elim_conj_right_diagnostic=déduction à droite
axiom_elim_conj_right_justification=par déduction à droite
axiom_elim_eqfun_diagnostic=égalité fonctionnelle
axiom_elim_eqfun_justification=par définition de l'égalité fonctionnelle
axiom_elim_eqset_diagnostic=égalité
axiom_elim_eqset_justification=par définition de l'égalité ensembliste
axiom_elim_even_def_diagnostic=parité
axiom_elim_even_def_justification=par définition de la parité
axiom_elim_false_exset_diagnostic=ensemble vide
axiom_elim_false_exset_justification=par définition de l'ensemble vide
axiom_elim_gen_app_rel_diagnostic=graphe
axiom_elim_gen_app_rel_justification=par définition du graphe d'une relation
axiom_elim_has_finite_limit_decr_diagnostic=convergence décroissante
axiom_elim_has_finite_limit_decr_justification=par décroissance et minoration
axiom_elim_has_finite_limit_incr_diagnostic=convergence coissante
axiom_elim_has_finite_limit_incr_justification=par croissance et majoration
axiom_elim_is_elem_universe_diagnostic=univers
axiom_elim_is_elem_universe_justification=par définition de l'univers
axiom_elim_multiple_diagnostic=définition
axiom_elim_multiple_justification=par définition de la divisibilité
axiom_elim_negation_diagnostic=définition
axiom_elim_negation_justification=par définition de la négation
axiom_elim_pprod_diagnostic=produit cartésien
axiom_elim_pprod_justification=par définition du produit cartésien
axiom_elim_requiv_diagnostic=équivalence
axiom_elim_requiv_justification=par définition d'une relation d'équivalence
axiom_elim_scomp_diagnostic=complément
axiom_elim_scomp_justification=par définition du complément
axiom_elim_sdiff_diagnostic=différence
axiom_elim_sdiff_justification=par définition de la différence ensembliste
axiom_elim_sequiv_diagnostic=classe d'équivalence
axiom_elim_sequiv_justification=par définition d'une classe d'équivalence
axiom_elim_set_lteq_diagnostic=inclusion
axiom_elim_set_lteq_justification=par définition de l'inclusion
axiom_elim_shas_lower_bound_diagnostic=borne inférieure
axiom_elim_shas_lower_bound_justification=par définition
axiom_elim_shas_upper_bound_diagnostic=borne supérieure
axiom_elim_shas_upper_bound_justification=par définition
axiom_elim_sinter_diagnostic=intersection
axiom_elim_sinter_justification=par définition de l'intersection
axiom_elim_sis_decreasing_diagnostic=décroissance
axiom_elim_sis_decreasing_justification=par définition
axiom_elim_sis_gt_zero_diagnostic=strictement positive
axiom_elim_sis_gt_zero_justification=par définition
axiom_elim_sis_increasing_diagnostic=croissance
axiom_elim_sis_increasing_justification=par définition
axiom_elim_sis_lt_zero_diagnostic=strictement négative
axiom_elim_sis_lt_zero_justification=par définition
axiom_elim_subset_diagnostic=parties d'un ensemble
axiom_elim_subset_justification=par définition des parties d'un ensemble
axiom_elim_sunion_diagnostic=union
axiom_elim_sunion_justification=par définition de l'union
axiom_elim_true_at_rank_diagnostic=définition de P
axiom_elim_true_at_rank_justification=par définition de {0}
axiom_eq_inverse_diagnostic=inverse
axiom_eq_inverse_justification=par passage à l'inverse
axiom_eq_reverse_diagnostic=opposé
axiom_eq_reverse_justification=par passage à lopposé
axiom_eq_symmetry_diagnostic=symétrie
axiom_eq_symmetry_justification=par symétrie de la relation d'égalité
axiom_eq_trans_diagnostic=transitivité
axiom_eq_trans_justification=par transitivité de la relation d'égalité
axiom_equiv_rtrans_diagnostic=Transitive
axiom_equiv_rtrans_justification=par caractérisation ensembliste d'une relation transitive
axiom_ex_elim_diagnostic=par extraction
axiom_ex_elim_justification=par extraction d'un témoin
axiom_ex_intro_diagnostic=par construction
axiom_ex_intro_justification=par construction d'un témoin
axiom_expand_diagnostic=développement
axiom_expand_justification=par développement
axiom_factorize_diagnostic=factorisation remarquable
axiom_factorize_justification=par factorisation par {1}
axiom_falseall_diagnostic=ex falso quodlibet
axiom_falseall_justification=par déduction d'une contradiction
axiom_gen_factorize_diagnostic=factorisation
axiom_gen_factorize_justification=par factorisation de {0} par {1}
axiom_geo_def_diagnostic=définition
axiom_geo_def_justification=par définition d'une suite géométrique
axiom_geo_pro_diagnostic=formulation explicite
axiom_geo_pro_justification=par formulation explicite d'une suite géométrique
axiom_inclusionsimpl_diagnostic=simplification
axiom_inclusionsimpl_justification=par réécriture de {1} en {0}
axiom_ind_basic_forall_diagnostic=récurrence
axiom_ind_basic_forall_justification=par récurrence
axiom_ind_init_diagnostic=récurrence à partir de
axiom_ind_init_justification=par récurrence
axiom_ineq_sym_rew_diagnostic=réciproque
axiom_ineq_sym_rew_justification=par réécriture réciproque
axiom_intro_false_diagnostic=non-contradiction
axiom_intro_false_justification=par le principe de non-contradiction
axiom_intro_or_left_diagnostic=justification à gauche
axiom_intro_or_left_justification=par justification à gauche
axiom_intro_or_right_diagnostic=justification à droite
axiom_intro_or_right_justification=par justification à droite
axiom_intro_sqrt_square_diagnostic=racine d'un carré
axiom_intro_sqrt_square_justification=par simplification de la racine d'un carré
axiom_limit_finite_diagnostic=limite finie
axiom_limit_finite_justification=par calcul de limite finie
axiom_limit_inf_diagnostic=limite +∞
axiom_limit_inf_justification=par calcul de limite vers +∞
axiom_limit_neg_inf_diagnostic=limite -∞
axiom_limit_neg_inf_justification=par calcul de limite vers -∞
axiom_linearsimpl_diagnostic=simplification
axiom_linearsimpl_justification=par simplification de {0}
axiom_local_theo_justification=par application du théorème local {0}
axiom_lradd_bounded_diagnostic=addition
axiom_lradd_bounded_justification=par addition à gauche et à droite de {0}
axiom_lradd_diagnostic=addition
axiom_lradd_ineq_diagnostic=addition
axiom_lradd_ineq_justification=par addition à gauche et à droite de {0}
axiom_lradd_justification=par addition à gauche et à droite de {0}
axiom_lradd_neq_diagnostic=addition
axiom_lradd_neq_justification=par addition à gauche et à droite de {0}
axiom_lrdiv_bounded_diagnostic=division
axiom_lrdiv_bounded_justification=par division à gauche et à droite par {0}
axiom_lrdiv_diagnostic=division
axiom_lrdiv_ineq_diagnostic=division
axiom_lrdiv_ineq_justification=par division à gauche et à droite par {0}
axiom_lrdiv_justification=par division à gauche et à droite par {0}
axiom_lrdiv_neq_diagnostic=division
axiom_lrdiv_neq_justification=par division à gauche et à droite par {0}
axiom_lrmul_bounded_diagnostic=multiplication
axiom_lrmul_bounded_justification=par multiplication à gauche et à droite par {0}
axiom_lrmul_diagnostic=multiplication
axiom_lrmul_ineq_diagnostic=multiplication
axiom_lrmul_ineq_justification=par multiplication à gauche et à droite par {0}
axiom_lrmul_justification=par multiplication à gauche et à droite par {0}
axiom_lrmul_neq_diagnostic=multiplication
axiom_lrmul_neq_justification=par multiplication à gauche et à droite par {0}
axiom_lrsub_bounded_diagnostic=soustraction
axiom_lrsub_bounded_justification=par soustraction à gauche et à droite de {0}
axiom_lrsub_diagnostic=soustraction
axiom_lrsub_ineq_diagnostic=soustraction
axiom_lrsub_ineq_justification=par soustraction à gauche et à droite de {0}
axiom_lrsub_justification=par soustraction à gauche et à droite de {0}
axiom_lrsub_neq_diagnostic=soustraction
axiom_lrsub_neq_justification=par soustraction à gauche et à droite de {0}
axiom_lt_next_int_diagnostic=entier suivant
axiom_lt_next_int_justification=par transition vers l'entier suivant
axiom_modus_ponens_diagnostic=modus ponens
axiom_modus_ponens_justification=par application du modus ponens
axiom_muldiv_diagnostic=multiplication haut et bas
axiom_muldiv_justification=par multiplication haut et bas par {1}
axiom_neq_symmetry_diagnostic=symétrie
axiom_neq_symmetry_justification=par symétrie de la relation d'inégalité
axiom_non_zero_gt_diagnostic=supériorité stricte
axiom_non_zero_gt_justification=par supériorité stricte
axiom_non_zero_lt_diagnostic=infériorité stricte
axiom_non_zero_lt_justification=par infériorité stricte
axiom_polysquare_diagnostic=carré polynomial
axiom_polysquare_justification=par identification du carré {0}
axiom_proddecompl_diagnostic=décomposition
axiom_proddecompl_justification=par décomposition du produit
axiom_proddef_diagnostic=assocication
axiom_proddef_justification=par associativité de l'opérateur produit appliquée à {0}
axiom_prodinverse_diagnostic=parcours à rebours
axiom_prodinverse_justification=par parcours à rebours de l'indice
axiom_prodlinear_diagnostic=associativité
axiom_prodlinear_justification=par associativité de l'opérateur produit appliquée à {0}
axiom_prodresult1_diagnostic=prodresult1
axiom_prodresult1_justification=prodresuult1
axiom_prodsimpl_diagnostic=prodsimpl
axiom_prodsimpl_justification=prodsimpl
axiom_produpshift_diagnostic=décalage d'indice
axiom_produpshift_justification=par décalage des indices
axiom_reason_capacity_diagnostic=capacité à raisonner
axiom_reason_capacity_justification=par capacité du porteur de chapeaux à raisonner
axiom_red_true_at_rank_diagnostic=définition
axiom_red_true_at_rank_justification=par définition de {0}
axiom_reducedenom_diagnostic=dénominateur commun
axiom_reducedenom_justification=par réduction au même dénominateur
axiom_rewriting_diagnostic=réécriture
axiom_rewriting_justification=par réécriture de {0} en {1}
axiom_sandwich_diagnostic=gendarmes
axiom_sandwich_justification=par le théorème des gendarmes
axiom_section_diagnostic=création de portée
axiom_section_justification=démonstration
axiom_set_absorb_diagnostic=absorbtion
axiom_set_absorb_justification=par absorbtion
axiom_set_adabsurdum_diagnostic=absurde
axiom_set_adabsurdum_justification=par involution du complément
axiom_set_demorgan_diagnostic=lois de De Morgan
axiom_set_demorgan_justification=d'après les lois de De Morgan
axiom_set_eq_symmetry_diagnostic=symétrie
axiom_set_eq_symmetry_justification=par symétrie de la relation d'égalité
axiom_set_eq_trans_diagnostic=transitivité
axiom_set_eq_trans_justification=par transitivité de la relation d'égalité
axiom_set_excluded_diagnostic=tiers exclu
axiom_set_excluded_justification=par application du tiers exclu
axiom_set_inter_comb_diagnostic=intersection
axiom_set_inter_comb_justification=par intersection à gauche et à droite
axiom_set_lteq_transitivity_diagnostic=transitivité
axiom_set_lteq_transitivity_justification=par transitivité de l'inclusion
axiom_set_neutral_diagnostic=élément neutre
axiom_set_neutral_justification=par propriété de l'élément neutre
axiom_set_rewriting_diagnostic=réécriture
axiom_set_rewriting_justification=par réécriture de {0} en {1}
axiom_set_union_comb_diagnostic=union
axiom_set_union_comb_justification=par union à gauche et à droite
axiom_setassociative_diagnostic=associativité
axiom_setassociative_justification=par associativité
axiom_setcommutative_diagnostic=commutativité
axiom_setcommutative_justification=par commutativité
axiom_setdevelopp_diagnostic=développement
axiom_setdevelopp_justification=par développement
axiom_setfactorize_diagnostic=factorisation
axiom_setfactorize_justification=par factorisation
axiom_sigmadecompl_diagnostic=décomposition
axiom_sigmadecompl_justification=par décomposition du sigma
axiom_sigmadef_diagnostic=association
axiom_sigmadef_justification=par associativité de l'opérateur sigma appliquée à {0}
axiom_sigmainverse_diagnostic=parcours à rebours
axiom_sigmainverse_justification=par parcours à rebours de l'indice
axiom_sigmalinear_diagnostic=linéarité
axiom_sigmalinear_justification=par linéarité de l'opérateur sigma appliquée à {0}
axiom_sigmaresult1_diagnostic=premiers entiers
axiom_sigmaresult1_justification=par somme des premiers entiers
axiom_sigmaresult2_diagnostic=premiers carrés
axiom_sigmaresult2_justification=par somme des premiers carrés
axiom_sigmaresult3_diagnostic=premières puissances
axiom_sigmaresult3_justification=par somme des premières puissances
axiom_sigmasimpl_diagnostic=comptage
axiom_sigmasimpl_justification=par somme de la constante 1
axiom_sigmaupshift_diagnostic=décalage d'indice
axiom_sigmaupshift_justification=par décalage des indices
axiom_slim_def_elim_diagnostic=limite finie
axiom_slim_def_elim_justification=par définition de la limite
axiom_slim_inf_def_elim_diagnostic=limite infinie
axiom_slim_inf_def_elim_justification=par définition d'une limte infinie
axiom_slimfinite_inf_elim_diagnostic=limite infinie
axiom_slimfinite_inf_elim_justification=
axiom_square_diff_diagnostic=différence de carrés
axiom_square_diff_justification=par factorisation de la différence de carrés
axiom_subadd_diagnostic=soustraction et addition
axiom_subadd_justification=par soustraction et addition de {1} à {0}
axiom_trans_lt_gt_diagnostic=transitivité
axiom_trans_lt_gt_justification=par transitivité
axiom_updownsimpl_diagnostic=simplification haut et bas
axiom_updownsimpl_justification=par simplification haut et bas
axiom_varchange_diagnostic=changement de variable
axiom_varchange_justification=par réécriture de {0} en {1}
basic_A=A
basic_BeMarried=être marié
basic_BeMarried_neg=ne pas être marié
basic_BeScottish=être écossais
basic_BeScottish_neg=ne pas être écossais
basic_BlackHat=noir
basic_ExprGT={0} > {1}
basic_ExprGTEQ={0} ≥ {1}
basic_ExprLT={0} < {1}
basic_ExprLTEQ={0} ≤ {1}
basic_FBij={0} est bijective
basic_FComp={0} ∘ {1}
basic_FFInj={1} est injective sur [ 0 ... {0} ]
basic_FFMono={1} est strictement croissante sur [ 0 ... {0} ]
basic_FInj={0} est injective
basic_FInj_neg={0} n'est pas injective
basic_FInvolution={0} est involutive
basic_FSurj={0} est surjective
basic_FSurj_neg={0} n'est pas surjective
basic_False=contradiction
basic_False_sci=Faux
basic_FindX=Trouver la valeur de x.
basic_FindY=Trouver la valeur de y.
basic_GoOutSundays=sortir le dimanche
basic_GoOutSundays_neg=ne pas sortir le dimanche
basic_GoToMatch=aller au match demain
basic_GoToMatch_neg=ne pas aller au match demain
basic_GoToTraining=aller à l'entraînement aujourd'hui
basic_GoToTraining_neg=ne pas aller à l'entraînement aujourd'hui
basic_O1FInj={0} est injective
basic_O1FInj_neg={0} n'est pas injective
basic_O1FSurj={0} est surjective
basic_O1FSurj_neg={0} n'est pas surjective
basic_OldYoungUtterance=Quel est le plus jeune, quel est le plus âgé ?
basic_Oldest={0} est l'enfant le plus âgé
basic_Oldest_neg={0} n'est pas l'enfant le plus âgé
basic_PropDependentN=proposition dépendant de n
basic_RAntiSym={2} est antisymétrique
basic_RComp={6} . {7}
basic_REquiv={2} est une relation d'équivalence
basic_RFun={4} est fonctionnelle
basic_RIRRefl={2} est irréflexive
basic_RInj={4} est injective
basic_RInv={4} ⁻¹
basic_RRefl={2} est réflexive
basic_RSurj={4} est surjective
basic_RSym={2} est symétrique
basic_RTot={4} est totale
basic_RTotLeft={4} est totale à gauche
basic_RTrans={2} est transitive
basic_ScottishUtterance=Le club écossais.
basic_Set=ensemble
basic_ToBeHuman=être humain
basic_ToBeHuman_neg=ne pas être humain
basic_ToBeMortal=être mortel
basic_ToBeMortal_neg=ne pas être mortel
basic_ToBeSocrate=être Socrate
basic_ToBeSocrate_neg=ne pas être Socrate
basic_WearAKilt=porter un kilt
basic_WearAKilt_neg=ne pas porter de kilt
basic_WearRedSocks=porter des chaussettes rouges
basic_WearRedSocks_neg=ne pas porter de chaussettes rouges
basic_WhiteHat=blanc
basic_Youngest={0} est l'enfant le plus jeune
basic_Youngest_neg={0} n'est pas l'enfant le plus jeune
basic_addition=par addition de {0}
basic_and=et
basic_and_sci=∧
basic_app_fun_exset={2} ( {3} )
basic_app_prop={1} ( {2} )
basic_app_prop2={1} ( {2} , {3} )
basic_app_prop2_sci={1} ( {2} , {3} )
basic_app_prop_sci={1} ( {2} )
basic_app_rel={1} {0} {2}
basic_app_rel_sci={1} {0} {2}
basic_are_collinear={0} sont colinéaires
basic_are_collinear_neg={0} ne sont pas colinéaires
basic_are_parallel={0} et {1} sont parallèles
basic_are_parallel_neg={0} et {1} ne sont pas parallèles
basic_arith_elim=par définition d'une suite aritmétique
basic_case=cas {0} : {1}
basic_demonstrate_lim=Démontrer que {0} admet pour limite {1}
basic_determine=Déterminer {0}
basic_determine_lim=Déterminer la valeur limite de {0}
basic_determine_reason=Déterminer la raison de la suite {0}
basic_determine_value=Déterminer la valeur de {0}
basic_development=par développement
basic_division=par division par {0}
basic_division_and_multiplication=par division et multiplication par {0}
basic_elim_is_solution_equiv=par définition
basic_elim_limit_expr_b=par définition d'une limite gauche ou droite
basic_elim_rewrite_equiv=par réécriture
basic_eq_symmetry_equiv=par symétrie de la relation d'égalité
basic_equation=l'équation {1}
basic_equation_systeq=le système d'équation {1}
basic_equiv={0} {math:⇔} {1}
basic_equiv1={0} {math:⇔} {1}
basic_equiv1_sci={0} {math:⇔} {1}
basic_equiv_sci={0} {math:⇔} {1}
basic_expansion=par développement
basic_expansion_of_power=par définition de puissance
basic_expr_is_defined_on={1} est définie sur {2}
basic_expr_is_defined_on_neg={0} n'est pas définie sur {1}
basic_factorization=par factorisation
basic_findLimitExpr=déterminer la valeur limite {1} telle que, {2}
basic_find_asymptot={find} la comportement asymptotique de {2} en {3}
basic_find_expr={find} la valeur de {0} {justTags}
basic_find_limit={find} la limite de {2} en {3} {justTags}
basic_find_limit_type={find} le comportement de {4} en l'infini
basic_find_series_type={find} le type de la suite {0}
basic_floor_id=Ent
basic_fun_has_finite_limit={4} est convergente
basic_fun_has_lower_bound={4} est minorée
basic_fun_has_upper_bound={4} est majorée
basic_fun_is_bounded={4} est bornée
basic_fun_is_constant={4} est constante
basic_fun_is_decreasing={4} est décroissante
basic_fun_is_decreasing_neg={4} n'est pas décroissante
basic_fun_is_defined_on={4} est définie sur {5}
basic_fun_is_gt_zero={4} est strictement positive
basic_fun_is_increasing={4} est croissante
basic_fun_is_increasing_neg={4} n'est pas croissante
basic_fun_is_lt_zero={4} est strictement négative
basic_gen_app_rel={5} {4} {6}
basic_gen_app_rel_sci={5} {4} {6}
basic_geoconstr=par construction de {0}
basic_id={0}
basic_imply=implique
basic_imply_sci={math:⇒}
basic_ind_basic_evar_0=Rang d'initialisation
basic_is_a_neighborhood={1} est un voisinage de {2}
basic_is_add_increasing=l'addition est croissante pour la relation '{0}'
basic_is_aware={0} sait que {1}
basic_is_aware_neg={0} ne sait pas que {1}
basic_is_bad={0} est pire
basic_is_big_enough={0} est grand
basic_is_crossed=le quadrilatère {0} est croisé
basic_is_crossed_neg=le quadrilatère {0} n'est pas croisé
basic_is_defined_on={0} est définie sur {1}
basic_is_definition_set={0} est l'ensemble de définition de {1}
basic_is_element={1} {math:∊} {2}
basic_is_element_dom={0} {math:∊} {1}
basic_is_element_neg={1} n'est pas élément de {2}
basic_is_element_sci={1} {math:∊} {2}
basic_is_element_sci_neg={1} {math:∉} {2}
basic_is_even={0} est pair
basic_is_good={0} est pur
basic_is_in_neighbourhood_of={0} est dans un voisinage de {1}
basic_is_integer={0} est un entier
basic_is_lci={0} est une loi de composition interne sur {1}
basic_is_lci_neg={0} n'est pas une loi de composition interne sur {1}
basic_is_middle_segment={0} est le milieu du segment {1}
basic_is_middle_segment_neg={0} n'est pas le milieu du segment {1}
basic_is_monotonic_on={1} est décroissante sur {2}
basic_is_multiple_of={0} est divisible par {1}
basic_is_multiple_of_neg={0} n'est pas divisible par {1}
basic_is_odd={0} est impair
basic_is_parallelogram={0} est un parallèlogramme
basic_is_parallelogram_neg={0} n'est pas un parallèlogramme
basic_is_partition={1} est une partition de {0}
basic_is_polynom={1} est un polynôme
basic_is_projected_on={0} est le projeté orthogonal de {1} sur {2}
basic_is_reflexive=La relation '{0}' est réflexive
basic_is_restriction={5} est la restriction de {6} à {2}
basic_is_solution={0} est l'ensemble des solutions de {1}
basic_is_solution_neg={0} n'est pas solution de {1}
basic_is_symmetric={0} est le symétrique de {2} par rapport à {1}
basic_is_transitive=La relation '{0}' est transitive
basic_isolate=Isoler {0}
basic_knows_hatcolor={0} connaît la couleur de son chapeau
basic_knows_hatcolor_neg={0} ne connaît pas la couleur de son chapeau
basic_le=≤
basic_lor_elim=Hypothèse suffisante
basic_multiplication_and_division=par multiplication et division par {0}
basic_nats={0} avec {1}
basic_neighborset={1}
basic_not=non
basic_not_sci=¬
basic_oldyoung=plus jeune, plus âgé
basic_or=ou
basic_or_sci=∨
basic_pis_element={2} {math:∊} {3}
basic_pis_element_neg={2} n'est pas élément de {3}
basic_pis_element_sci={2} {math:∊} {3}
basic_pis_element_sci_neg={2} {math:∉} {3}
basic_proddecompr=par décomposition
basic_proddownshift=par décalage d'indice
basic_pset3={0} {1} et {2}
basic_rel_is_defined_on={0} est définie sur {1}
basic_rel_is_defined_on_neg={0} n'est pas définie sur {1}
basic_rel_le=≤
basic_resolve=Résoudre {0}
basic_rewrite_in={1} se réécrit en {2} dans {0}
basic_ror_elim=Hypothèse suffisante
basic_say={0} dit que {1}
basic_set_lt={0} ⊂ {1}
basic_set_lteq={1} ⊆ {2}
basic_shas_finite_limit={0} est convergente
basic_shas_limit={0} admet pour limite {1}
basic_shas_limit_neg={0} n'admet pas pour limite {1}
basic_sigmadecompr=par décomposition du sigma
basic_sigmadownshift=par décalage des indices
basic_sis_arith={2} est arithmétique
basic_sis_arith_neg={2} n'est pas arithmétique
basic_sis_arith_reason={2} est arithmétique de raison {3}
basic_sis_arith_reason_neg={2} n'est pas arithmétique de raison {3}
basic_sis_caracterized=La suite {0} est-elle arithmétique ou géométrique ?
basic_sis_element={0} {math:∊} {1}
basic_sis_element_neg={0} {math:∉} {1}
basic_sis_element_sci={0} {math:∊} {1}
basic_sis_element_sci_neg={0} {math:∉} {1}
basic_sis_geo={2} est géométrique
basic_sis_geo_neg={2} n'est pas géométrique
basic_sis_geo_reason={2} est géométrique de raison {3}
basic_sis_geo_reason_neg={2} n'est pas géométrique de raison {3}
basic_subtraction=par soustraction de {0}
basic_subtraction_and_addition=par soustraction et addition de {0}
basic_triv_div_lr=par division des deux membres de {0}
basic_true_at_rank={0} est vraie au rang {1}
basic_true_at_rank_neg={0} est fausse au rang {1}
basic_true_at_rank_sci={0} ( {1} )
basic_true_at_rank_sci_neg=¬ {0} ( {1} )
basic_uprod={0}×{1}
basic_wears_hat={0} porte un chapeau {1}
basic_wears_hat_neg={0} ne porte pas un chapeau {1}
help_part_content=Contenu
help_part_paper=Copie numérique
help_section_browsing=Navigation
help_section_commutativity=Commutativité
help_section_evar=Inconnues de raisonnement
help_section_exercises=Exercices
help_section_proof=Démonstration
help_section_selection=Sélection
help_section_trophy=Cocardes
help_section_unification=Unifications
key_Product=Produit
key_access_content=Contenu
key_access_date=Date d'expiration
key_access_role=Rôle
key_access_role_ref=Référent
key_access_role_user=Étudiant
key_account=Mon compte
key_add=Ajouter
key_add_exercise_message=Ecrivez l'enoncé de l'exercice ...
key_add_exercise_title=Demande d'ajout d'exercice
key_and=et
key_apply=Appliquer
key_ask_hint_button=Afficher
key_assume=Supposons que
key_back_connection_panel=Pour revenir à l'écran de connexion,
key_browsing_train=Exercices
key_by=d'après {0}
key_cancel=Annuler
key_catchme=Attrapez ceci
key_change_password=Changement de mot de passe
key_chapters=Chapitres
key_character_not_available=caractère non disponible
key_check_box=cocher la case
key_check_cgu=CGU
key_check_text_cgu=Accepter les
key_class=Classe
key_class_default_message=Vous n'appartenez à aucune classe.
key_click_here=cliquez ici
key_clickme=Cliquez ici
key_clickme_fix=Corrigez et cliquez ici pour valider
key_clickme_valid=Cliquez ici pour valider
key_commuteme=Obtenez ci-dessus la valeur suivante :
key_conclusion=Conclusion
key_confirm_delete_tab_message=Supprimer la portée ?
key_confirm_delete_tab_message_yes=Oui
key_confirm_password=Confirmation du mot de passe
key_confirm_quit_exercise=Abandonner l'exercice en cours ?
key_congrats=Bravo, l’exercice est démontré !
key_connection=Connexion
key_construct=Construire
key_context=Contexte
key_create_account=Créer un compte
key_create_account_connect=Créer un compte / se connecter
key_credits=jetons
key_credits_content_message=Acheter directement le contenu de l'application.
key_credits_content_title=Contenu
key_credits_pack_message=Avec les jetons, débloquer du contenu dans l'application.
key_credits_pack_pack1_title=Découverte
key_credits_pack_pack2_title=Entraînement
key_credits_pack_pack3_title=Ultime
key_credits_pack_title=Crédits
key_deduce=Déduire
key_deduce_in=Déduire dans
key_deduce_of=Déduction à partir de
key_deduce_scope=Déduire dans cette portée
key_delete=Supprimer
key_delete_account=Suppression du compte
key_delete_account_message=Un email a été envoyé pour supprimer le compte
key_delete_message=Pour supprimer le compte, tapez dans la zone ci-dessous 'SUPPRIMER' en toute lettre et cliquez sur OK.
key_delete_word=SUPPRIMER
key_deleted_account=Le compte de {0} a été supprimé. A bientôt !
key_demonstrate=Démontrer
key_description_back=<div>Justifier la proposition <!--{type="tag" input="{statementId}"}--> en invoquant la règle : <!--{type="axiom_api" input="{axiomId}"}--></div>
key_description_backsel=<div>Justifier la proposition <!--{type="tag" input="{statementId}"}--> en invoquant la règle : <!--{type="axiom_api" input="{axiomId}"}--></div>
key_description_delete=<div>Supprimer la proposition <!--{type="tag" input="{statementId}"}--></div>
key_description_deleteby=<div>Supprimer la justification de la proposition <!--{type="tag" input="{statementId}"}--></div>
key_description_for=<div>Déduire de <!--{type="tag" input="{statementId}"}--> par <!--{type="axiom_api" input="{axiomId}"}--></div>
key_description_forsel=<div>Déduire de <!--{type="tag" input="{statementId}"}--> par <!--{type="axiom_api" input="{axiomId}"}--></div>
key_description_inst=Entrer la valeur <!--{type="expr" input="{actTypArg2}"}--> dans <!--{type="paper_evar" input="{actTypArg}"}--></div>
key_description_section=Ouvrir la portée de la proposition <!--{type="tag" input="{statementId}"}-->
key_description_success=<div>Bravo, l'exercice est terminé.</div>
key_description_unif=Unifier les propositions <!--{type="tag" input="{actTypArg}"}--> et <!--{type="tag" input="{statementId}"}-->
key_diagnostic_no_diag=Les entrées de ce chapitre ne sont pas encore disponibles.
key_disconnect=Se déconnecter
key_draggable_title=Déplacer les opérandes
key_dragme=Glissez ici
key_email=Email
key_email_not_authorized=email non autorisé
key_email_not_found=email non trouvé
key_email_not_valid=email non valide
key_email_not_verif=email non vérifié
key_email_unknown=email inconnu
key_email_used=email utilisé
key_email_valid=email valide
key_empty_field=champ vide
key_empty_suggest=Aucune entrée disponible pour cette action
key_error_paper_subtitle=Not found
key_error_paper_title=cannot retrieve this paper
key_exercise=Exercice
key_exercises=Exercices
key_fill_evar=Valeur de
key_find=déterminer
key_firstname=Prénom
key_focus_text=Contexte
key_follow_us=Actualité
key_forbid_mobile=L'application n'est pas disponible sur mobile
key_forgot_password=Mot de passe oublié ?
key_geo_figure=Figure géométrique
key_get_credits=Recharger les jetons
key_goal=Objectif
key_got_it=C'est noté.
key_graph=Graphe
key_group_popup_button=Ajouter
key_group_popup_input_default=code d'accès
key_group_popup_title=Entrer un code d'accès
key_help=Aide
key_help_tooltip_chapter_icon_all=cocarde 'Universel'
key_help_tooltip_chapter_icon_diag=cocarde 'Express'
key_help_tooltip_chapter_icon_tuto=cocarde 'Didacticiel'
key_help_tooltip_chapter_icon_unavoidable=cocarde 'Incontournable'
key_help_tooltip_clearall=tout effacer
key_help_tooltip_deduce=diagnostic en déduction
key_help_tooltip_exercise_icon_diag=permet d'obtenir la cocarde 'Express'
key_help_tooltip_exercise_icon_difficulty_easy=facile
key_help_tooltip_exercise_icon_difficulty_hard=difficile
key_help_tooltip_exercise_icon_difficulty_medium=moyen
key_help_tooltip_exercise_icon_hint=indication
key_help_tooltip_exercise_icon_unavoidable=exercice incontournable
key_help_tooltip_hint=indication
key_help_tooltip_justify=diagnostic en justification
key_help_tooltip_lock_access_no=non accessible
key_help_tooltip_lock_access_without_deadline=accessible
key_help_tooltip_print=imprimer
key_help_tooltip_redo=refaire
key_help_tooltip_section=créer une portée
key_help_tooltip_undo=annuler
key_help_tooltip_unify=unification
key_highlight_icon_backward=justification
key_highlight_icon_definition=définition
key_highlight_icon_forward=déduction
key_highlight_icon_reduce=réduction
key_hint_message=Cliquer sur le bouton ci-dessous pour afficher une indication de résolution
key_hintpopup_action=Action
key_hintpopup_actions=Actions
key_hintpopup_description=Description
key_hintpopup_preview=Aperçu
key_hintpopup_tab_desc=Description
key_hintpopup_tab_hint=Indication
key_home_credits_text=Nombres de jetons
key_home_dashboard_badges=Cocardes
key_home_dashboard_exercises=Exercices résolus
key_home_profile_text=Bienvenue, {firstname}
key_ice=Une erreur interne est survenue. Merci de relancer l'application.
key_id_connection=Connexion
key_if=si
key_img_text_1=Mettre à jour
key_img_text_2=ma photo de profil
key_inputme=Renseignez la valeur suivante :
key_justify=Justifier
key_justify_of=Justification de
key_language=Langue
key_lastname=Nom
key_legend=Légende :
key_levels=Niveaux
key_loading_message=Chargement, veuillez patienter ...
key_local_theorem=Théorème local
key_login_with=Se connecter avec :
key_main_scope=la portée principale
key_membership_alreadyadd=déjà ajouté
key_membership_error=erreur
key_membership_notfound=code inconnu
key_membership_overused=quota atteint
key_modify=Modifier
key_nats={0} avec {1}
key_need_help=Besoin d'aide ?
key_new_exercise=Nouvel exercice
key_next=Suivant
key_no_email_message=Votre adresse email n'est pas visible pour ce mode de connexion, merci de vous reconnecter d'une autre manière.
key_not_yet_register=Si vous n'êtes pas encore inscrit,
key_ok=OK
key_or=ou
key_password=Mot de passe
key_password_confirmed=mot de passe confirmé
key_password_current=Mot de passe actuel
key_password_incorrect=le mot de passe est incorrect
key_password_new=Nouveau mot de passe
key_password_not_confirmed=mot de passe non confirmé
key_password_too_short=mot de passe trop court (au moins 6 caractères)
key_password_valid=mot de passe valide
key_password_with_digit=le mot de passe doit contenir au moins 1 chiffre
key_premises=Prémisses
key_preview=Aperçu
key_preview_deduce=Aperçu de la déduction de
key_preview_justify=Aperçu de la justification de
key_profile_informations=Informations de profil
key_proof_of=Démonstration de
key_propdeftag_def=la définition
key_propdeftag_prop=la proposition
key_prove_text=Démonstration
key_prove_text_close=Démonstration ...
key_prove_text_open=Démonstration :
key_register=S'inscrire
key_registration=Inscription
key_reinit=Réinitialiser
key_reinit_password=Entrez votre email pour réinitialiser le mot de passe
key_reinit_password_message=Un email a été envoyé pour réinitialiser le mot de passe
key_report_input_default=Demandez de l'aide ou signalez un problème
key_report_label=Envoyez-nous un message
key_report_label_email=Votre adresse e-mail :
key_report_message_sent=Message envoyé !
key_report_modify_message=Modifier le message
key_report_next=Suivant
key_report_placeholder_email=adresse e-mail
key_report_recontact=Nous vous recontacterons.
key_report_send=Envoyer
key_require_message=Pour accéder à ce chapitre, obtenez les cocardes 'didacticiel' des chapitres ci-dessous :
key_require_message_exercise=Pour accéder à cet exercice, obtenez les cocardes 'didacticiel' des chapitres ci-dessous :
key_require_message_part=Pour accéder aux chapitres, obtenez les cocardes 'didacticiel' des chapitres ci-dessous :
key_required=Prérequis :
key_save=Enregistrer
key_scroll_down=Faire défiler vers le bas
key_scroll_up=Faire défiler vers le haut
key_segments=Segments
key_selectme=Sélectionnez l'expression ci-dessus
key_send=Envoyer
key_social_login=<div class="{0}"> Le <a target="_blank" href="http://fr.wikipedia.org/wiki/Social_login" class="{1}">social login</a> est le moyen le plus simple et le plus sûr de créer un compte et de se connecter. Rien ne sera publié sur votre "mur". </div> <div class="{2}">En cliquant sur l'un des boutons, vous acceptez nos <a target="_blank" href="{3}" class="{4}">conditions d'utilisation</a> et notre <a target="_blank" href="{5}" class="{6}">politique de confidentialité</a>.</div>
key_sorry_whitelist=L'application n'est pas encore disponible. Si vous souhaitez vous inscrire, merci d'envoyer un mail à : contact@edukera.com
key_start=Commencer
key_status_report=Signaler un problème
key_step_choice_axiom=<div class="instruction-item"><!--{type="hint_itemize"}--> Dans la section <span class="hint-text"> <!--{type="label_toolbox" input="{TPartId}"}--></span> <!--{type="toolbox_button" input="{TPartId}"}--> accéder au chapitre à l'aide des boutons <!--{type="label_toolbox" input="{TChapterId}"}--> <!--{type="toolbox_button" input="{TChapterId}"}--> <!--{type="hint_check"}--></div>
key_step_choice_axiom_in_diag=<div class="instruction-item"> <!--{type="hint_itemize"}--> Choisir l'axiome <!--{type="diag_axiom" input="{axiomId}"}--> dans la section <!--{type="diag_axiom_part" input="{TSectionId}"}--> <!--{type="hint_check"}--></div>
key_step_choice_question_tab=<div class="instruction-item"> <!--{type="hint_itemize"}--> Choisir, dans la copie, l'onglet <!--{type="question_tab" input="{tabQuestionValue}"}--> <!--{type="hint_check"}--></div>
key_step_choice_tab_index_in_diag=<div class="instruction-item"> <!--{type="hint_itemize"}--> Cliquer sur l'onglet <!--{type="diag_tab" input="{actIdx}"}--> <!--{type="hint_check"}--></div>
key_step_click_apply=<div class="instruction-item"> <!--{type="hint_itemize"}--> Cliquer sur <!--{type="button_apply"}--> de la fenêtre d'aperçu. <!--{type="hint_check"}--></div>
key_step_click_deduce=<div class="instruction-item"> <!--{type="hint_itemize"}--> Cliquer sur <!--{type="button_deduce"}--> de <!--{type="propdeftag" input="{statementId}"}--> <!--{type="tag" input="{statementId}"}--> pour faire apparaître la fenêtre de diagnostic. <!--{type="hint_check"}--></div>
key_step_click_justify=<div class="instruction-item"> <!--{type="hint_itemize"}--> Cliquer sur <!--{type="button_justify"}--> de la proposition <!--{type="tag" input="{statementId}"}--> pour faire apparaître la fenêtre de diagnostic. <!--{type="hint_check"}--></div>
key_step_delete=<div class="instruction-item"> <!--{type="hint_itemize"}--> Supprimer la proposition <!--{type="tag" input="{statementId}"}--> <!--{type="hint_check"}--></div>
key_step_deleteby=<div class="instruction-item"> <!--{type="hint_itemize"}--> Supprimer la justification de la proposition <!--{type="tag" input="{statementId}"}--> <!--{type="hint_check"}--></div>
key_step_drag=<div class="instruction-item"> <!--{type="hint_itemize"}--> Glisser l'axiome <!--{type="toolbox_item" readonly="true" input="{axiomId}"}--> de la section <!--{type="label_toolbox" class="toolbox-section-title-content" input="{TSectionId}"}-->. <!--{type="hint_check"}--></div>
key_step_drop=<div class="instruction-item"> <!--{type="hint_itemize"}--> Le lâcher sur <!--{type="propdeftag" input="{statementId}"}--> <!--{type="tag" input="{statementId}"}--> <!--{type="hint_check"}--></div>
key_step_enter_expr_in_diag=<div class="instruction-item"> <!--{type="hint_itemize"}--> Entrer la valeur <!--{type="expr" statement="{statementId}" input="{actArgItemSecond}"}--> au clavier virtuel pour <!--{type="evar" input="{evarId}"}--> <!--{type="hint_check"}--></div>
key_step_inst=<div class="instruction-item"> <!--{type="hint_itemize"}--> Entrer la valeur <!--{type="expr" input="{actTypArg2}"}--> dans <!--{type="paper_evar" input="{actTypArg}"}--> <!--{type="hint_check"}--></div>
key_step_open_toolbox=<div class="instruction-item"> <!--{type="hint_itemize"}--> Ouvrir la boîte à outil à l'aide du bouton <!--{type="toolbox_header_button"}--> <!--{type="hint_check"}--></div>
key_step_section=<div class="instruction-item"> <!--{type="hint_itemize"}--> Cliquer sur <!--{type="button_section"}--> de la proposition <!--{type="tag" input="{statementId}"}--> <!--{type="hint_check"}--></div>
key_step_selection=<div class="instruction-item"> <!--{type="hint_itemize"}--> Sélectionner, dans la proposition <!--{type="tag" input="{statementId}"}-->, le terme surligné en bleu ci-dessous : <br> <div> <!--{type="prop" statement="{statementId}" input="{selectionProp}"}--> <!--{type="hint_check"}--> </div></div>
key_step_unification=<div class="instruction-item"> <!--{type="hint_itemize"}--> Cliquer sur <!--{type="button_unify" input="{actTypArg}"}--> de la proposition <!--{type="tag" input="{statementId}"}--> <!--{type="hint_check"}--></div>
key_step_unify_in_diag=<div class="instruction-item"> <!--{type="hint_itemize"}--> Cliquer sur <!--{type="button_unify" input="{actUnifItem}"}--> <!--{type="hint_check"}--></div>
key_sub_subscription_sentence=Merci pour l'inscription, un email de confirmation vous a été envoyé.
key_success_trophy_message=Bravo, vous venez d'obtenir la cocarde {trophyId}, du chapitre {chapterId}
key_success_trophy_title=Cocarde {trophyId}
key_task_justify_label=Reste à justifier
key_then=alors
key_to_justify=à justifier
key_toolbox_error_message=Cet axiome ne peut être appliqué sur cette proposition.
key_tooltip_axiom_close=cacher la formule
key_tooltip_axiom_open=afficher la formule
key_tooltip_context_close=afficher le contexte
key_tooltip_context_open=cacher le contexte
key_tooltip_section_close=cacher la section
key_tooltip_section_open=afficher la section
key_trophy_diagnostic=diagnostic
key_trophy_exercises=exercice
key_trophy_tutorial=didacticiel
key_trophy_unavoidable=incontournable
key_tutorial=Didacticiel
key_uid=Identifiant
key_unlock=Débloquer
key_update_browser=Vous utilisez actuellement le navigateur {browser} en version {current_version}. Cette version n'est pas compatible avec l'application edukera. Merci de mettre à jour ou de changer de navigateur.
key_usage=Utilisation
key_utterance=Énoncé
key_validate=Valider
key_with=avec
key_without_hint=Cet exercice n'offre pas le service d'indication de résolution.
key_yes=Oui
pager_account=Mon compte
pager_adabusrdum=Absurde
pager_algebra=Algèbre
pager_algebra_structures=Structures algébriques
pager_algebra_structures_01=
pager_analysis=Analyse
pager_analysis_induction=Récurrence
pager_analysis_limits=Limites
pager_analysis_series=Suites
pager_analysis_series_05=
pager_badges=Cocardes
pager_classical=Classiques
pager_comb=Systèmes d'équations
pager_commutativity=Commutativité
pager_credits=Crédits
pager_dashboard=Suivi
pager_demo_bernoulli_1=Inégalité de Bernoulli 1
pager_demo_bernoulli_2=Inégalité de Bernoulli 2
pager_demo_medium_ex_02=Divisibilité
pager_demo_seg=Calcul algébrique
pager_demo_tuto_app=Applications
pager_demo_tuto_comb=Combinaisons
pager_demo_tuto_first=Opérations à gauche et à droite
pager_demo_tuto_fun=Définitions
pager_demo_tuto_neq=Inégalité
pager_demo_tuto_rel=Transitivité
pager_demo_tuto_serie=Limite de 1/n
pager_demo_tuto_sigma=La somme des n premiers entiers
pager_demorgan=De Morgan
pager_easy=Facile
pager_enigma=Enigmes
pager_eq_seg=Egalité
pager_eqothers=Mixtures
pager_existence=Existence
pager_expansion=Distributivité
pager_finj=Injectivité
pager_funpigeon=Principe des tiroirs
pager_funsurj=Surjectivité
pager_good_bad=Vérités et mensonges
pager_hard=Difficile
pager_ind_bernouilli=Inégalités
pager_ind_divis=Divisibilité
pager_ind_sum=Calculs de somme
pager_ineq_ex_15=Opérations
pager_ineq_ex_20=Combinaisons
pager_ineq_ex_22=Encadrement
pager_ineq_ex_24=Applications
pager_ineq_ex_25=Relation
pager_ineq_seg=Inégalités
pager_ineq_system=Systèmes d'inéquations
pager_ineqs=Inéquations
pager_limits_finite=Limites de fonctions en un point fini
pager_limits_inf=Limites de fonctions en l'infini
pager_limits_prop=Propriétés par définition
pager_limits_series=Limites de suites
pager_logic=Logique
pager_logic_connector=Connecteurs
pager_logic_connector_abs_peirce=La loi de Peirce par l'absurde
pager_logic_connector_associativity=Associativités
pager_logic_connector_classical=Logique classique
pager_logic_connector_constructivism=Logique constructiviste
pager_logic_connector_deMorgan_laws=Lois de De Morgan
pager_logic_connector_distributivity=Distributivités
pager_logic_connector_ex_easy_01=Distributivité de la disjonction
pager_logic_connector_ex_easy_02=Distributivité de la conjonction
pager_logic_connector_ex_easy_06=Existence d'un entier
pager_logic_connector_ex_easy_08=Le syllogisme
pager_logic_connector_ex_easy_12=Lois de De Morgan 3/3
pager_logic_connector_ex_easy_13=Lois de De Morgan 1/3
pager_logic_connector_ex_easy_14=Associativité de la conjonction
pager_logic_connector_ex_easy_16=La contraposée 1/2
pager_logic_connector_ex_easy_17=La contraposée 2/2
pager_logic_connector_ex_easy_27=Associativité de la disjonction
pager_logic_connector_ex_easy_31=Raisonnement par l'absurde
pager_logic_connector_ex_easy_32=Lois de De Morgan 2/3
pager_logic_connector_ex_easy_33=Distributivité de la disjonction
pager_logic_connector_ex_easy_34=Distributivité de la conjonction
pager_logic_connector_negation=Négations
pager_logic_connector_peirce_abs_te=L'absurde par la loi de Peirce
pager_logic_connector_peirce_law=Loi de Peirce
pager_logic_connector_reasoning=Raisonnements
pager_logic_connector_training=Basiques
pager_logic_connector_tuto_01=Prouver une conjonction
pager_logic_connector_tuto_02=Déduire d'une conjonction
pager_logic_connector_tuto_03=Prouver une disjonction
pager_logic_connector_tuto_04=Disjonction de cas
pager_logic_connector_tuto_06=Prouver une implication
pager_logic_connector_tuto_07=Déduire d'une implication
pager_logic_connector_tuto_08=Prouver une négation
pager_logic_connector_tuto_085=Déduire d'une négation
pager_logic_connector_tuto_09=Ex falso quodlibet
pager_logic_connector_tuto_10=Tiers exclu
pager_logic_function=Fonctions
pager_logic_quantifer_tuto_2=Univers des entiers
pager_logic_quantifier=Quantificateurs
pager_logic_quantifier_21=Le club écossais
pager_logic_quantifier_ex_01=Distributivité de l'union
pager_logic_quantifier_ex_02=Distributivité de l'intersection
pager_logic_quantifier_ex_03=Loi de De Morgan 1/2
pager_logic_quantifier_ex_04=Loi de De Morgan 2/2
pager_logic_quantifier_ex_05=Parties d'un ensemble
pager_logic_quantifier_ex_06=Distributivité du produit cartésien
pager_logic_quantifier_ex_07=Distributivité existentielle
pager_logic_quantifier_ex_easy_08=Lois de De Morgan 2/2
pager_logic_quantifier_ex_easy_09=Lois de De Morgan 1/2
pager_logic_quantifier_ex_le_01=Etre plus petit que
pager_logic_quantifier_ex_le_02=Etre plus petit que (2)
pager_logic_quantifier_ex_le_03=Etre plus petit que (3)
pager_logic_quantifier_ex_le_04=Vérités et mensonges 1/4
pager_logic_quantifier_ex_le_05=Vérités et mensonges 2/4
pager_logic_quantifier_ex_le_06=Vérités et mensonges 3/4
pager_logic_quantifier_ex_le_07=Vérités et mensonges 4/4
pager_logic_quantifier_ex_le_08=Inverse, Injection
pager_logic_quantifier_ex_le_10=Relations totales
pager_logic_quantifier_ex_le_13=Principe des tiroirs 1/2
pager_logic_quantifier_ex_le_14=Principe des tiroirs 2/2
pager_logic_quantifier_ex_le_15=Relations binaires
pager_logic_quantifier_ex_le_37=Distributivité du produit cartésien
pager_logic_quantifier_ex_le_40=Fonction, injection
pager_logic_quantifier_ex_le_41=Surjection
pager_logic_quantifier_ex_le_42=Involution, bijection
pager_logic_quantifier_ex_le_43=Composition
pager_logic_quantifier_ex_le_48=Tiers exclu par l'absurde
pager_logic_quantifier_ex_le_52=Symétrie de l'égalité
pager_logic_quantifier_ex_le_53=Transitivité de l'égalité
pager_logic_quantifier_ex_le_54=Transitivité de l'inclusion
pager_logic_quantifier_ex_le_67=Intersection d'égalités
pager_logic_quantifier_ex_le_68=Union d'égalités
pager_logic_quantifier_ex_le_69=Intersection d'inclusions
pager_logic_quantifier_ex_le_70=Union d'inclusions
pager_logic_quantifier_ex_le_71=Madame Confuse
pager_logic_quantifier_ex_le_72=L'énigme des trois chapeaux
pager_logic_quantifier_tuto_01=Prouver une existence
pager_logic_quantifier_tuto_02=Déduire d'une existence
pager_logic_quantifier_tuto_03=Prouver un théorème
pager_logic_quantifier_tuto_04=Déduire d'un théorème
pager_logic_relation=Relations
pager_logic_relation_tuto_01=Graphe d'une relation
pager_logic_relation_tuto_04=Equivalences
pager_logic_relation_tuto_05=Composition
pager_logic_set_rewrite_01=Réécriture
pager_logic_set_rewrite_03=Associativité
pager_logic_set_rewrite_04=Commutativité
pager_logic_set_rewrite_05=Simplification
pager_logic_set_rewrite_06=Développement/Factorisation
pager_logic_set_rewrite_08=Symétrie de l'égalité
pager_logic_set_rewrite_09=Transitivité de l'égalité
pager_logic_set_rewrite_10=Transitivité de l'inclusion
pager_logic_set_rewrite_11=Combinaisons
pager_logic_settheory_tuto_01=Intersection
pager_logic_settheory_tuto_02=Union
pager_logic_settheory_tuto_03=Différence
pager_logic_settheory_tuto_04=Complément
pager_logic_settheory_tuto_05=Inclusion