solvabilitématisation