Parcoursup / Calcul de l'ordre d'appel des candidats

• fr.parcoursup.whyml.exceptions.acces_donnees_exception_message
• fr.parcoursup.whyml.exceptions.invalid_argument_exception_message
• fr.parcoursup.whyml.exceptions.acces_donnees_exception
• fr.parcoursup.whyml.exceptions.verification_exception_message
• fr.parcoursup.whyml.exceptions.invalid_argument_exception
• fr.parcoursup.whyml.exceptions.verification_exception
• fr.parcoursup.whyml.verification.verification_resultats_algo_ordre_appel_p3
• fr.parcoursup.whyml.verification.verification_resultats_algo_ordre_appel_p2
• fr.parcoursup.whyml.verification.verifications_resultats_algo_ordre_appel
• fr.parcoursup.whyml.verification.verification_resultats_algo_ordre_appel_p4
• fr.parcoursup.whyml.verification.verification_resultats_algo_ordre_appel_p1
• fr.parcoursup.whyml.verification.verification_resultats_algo_ordre_appel_p5
• fr.parcoursup.whyml.ordreappel.algo.groupe_classement_valide
• fr.parcoursup.whyml.ordreappel.algo.list_voeu_classe_appel
• fr.parcoursup.whyml.ordreappel.algo.algo_ordre_appel_entree
• fr.parcoursup.whyml.ordreappel.algo.calcul_ordre_appel_groupe
• fr.parcoursup.whyml.ordreappel.algo.enum_map
• fr.parcoursup.whyml.ordreappel.algo.ordre_appel
• fr.parcoursup.whyml.ordreappel.algo.list_voeu_classe_rang
• fr.parcoursup.whyml.ordreappel.algo.taux
• fr.parcoursup.whyml.ordreappel.algo.algo_ordre_appel
• fr.parcoursup.whyml.ordreappel.algo.list_groupe_classement_valide
• fr.parcoursup.whyml.ordreappel.algo.algo_ordre_appel_donnees_clone
• fr.parcoursup.whyml.ordreappel.algo.algo_ordre_appel_sortie
• fr.parcoursup.whyml.ordreappel.algo.groupe_classement
• fr.parcoursup.whyml.ordreappel.algo.candidat_classe
• fr.parcoursup.whyml.ordreappel.algo.voeu_classe
• fr.parcoursup.whyml.ordreappel.algo.sorted_list_clone
• fr.parcoursup.whyml.ordreappel.algo.groupe_classement_clone
• fr.parcoursup.whyml.ordreappel.calcul_ordre_appel
• fr.parcoursup.whyml.ordreappel.donnees.connecteur_donnees_appel
• proofs.lib.sum2d
• proofs.lib.permutation
• proofs.lib.distincts
• proofs.lib.inversions
• proofs.lib.seq
• proofs.lib.pair
• proofs.ordre_appel.rv_specs
• proofs.ordre_appel.specs
• proofs.ordre_appel.seq_voeux
• proofs.ordre_appel.invariants.iq3_1
• proofs.ordre_appel.invariants.iq4_1
• proofs.ordre_appel.invariants.iq3_4
• proofs.ordre_appel.invariants.iqx
• proofs.ordre_appel.invariants.iq4_xa
• proofs.ordre_appel.invariants.iq3_0
• proofs.ordre_appel.invariants.iq4_2
• proofs.ordre_appel.invariants.iq3_3
• proofs.ordre_appel.invariants.iq3_2
• proofs.ordre_appel.invariants.iq1
• proofs.ordre_appel.invariants.iq0
• proofs.ordre_appel.invariants.iq4_3
• proofs.ordre_appel.invariants.iq6
• proofs.ordre_appel.invariants.iq2
• proofs.ordre_appel.eligibles
• proofs.ordre_appel.properties.rv_p1
• proofs.ordre_appel.properties.p4 : Propriété 4
• proofs.ordre_appel.properties.rv_p2
• proofs.ordre_appel.properties.p5 : Propriété 5
• proofs.ordre_appel.properties.q5
• proofs.ordre_appel.properties.rv_p4
• proofs.ordre_appel.properties.rv_p5
• proofs.ordre_appel.properties.q4_1
• proofs.ordre_appel.properties.q4_2
• proofs.ordre_appel.properties.rv_p3
• proofs.ordre_appel.properties.q6 : Propriété Q6: si les deux taux sont nuls alors l'ordre d'appel est le classement pédagogique
• proofs.ordre_appel.properties.q1 : Propriété Q1: le taux de boursiers est satisfait par l'ordre d'appel
• proofs.ordre_appel.properties.q2 : Propriété Q2: le taux de résidents est satisfait par l'ordre d'appel
• proofs.ordre_appel.properties.q3