Je was op zoek naar: chamar ce dabo i r pa pa boulo ok (Frans - Engels)

g r o u pe s d ’ a m it i é i nte r pa r l e m e nta i r e s
th e pa r l i a m e nta r y f r i e n d s h i p g r o u ps

la preuve se fonde sur la définition de rcpjnto et la propriété rappelée ci-dessus : (24) (c_name, i) r cp jndex (pj k, i') ==> pack_name(c_name) r pa ckage_ref p _tok la sixième et dernière étape du procédé consiste à déterminer un transformateur tel que la transformation du code et des données par ce convertisseur respecte des relations logiques déterminées.
the proof is based on the definition of r cp — info and the property mentioned above: (24) (c_name, i) r cp — index (p_tok, i′) pack_name(c_name) r package — ref p_tok the sixth and last step of the method consists of determining transformation is such that the transformation of the code and the data by the converter satisfies given logical relations.