Darboux's_formula loading ...