HomeIsabelle/Phabricator

fewer warnings, notably in Naproche-SAD;