PPN_formalism loading ...