Propositions systèmes new système de calcul pour CF