Control Formal Framework For Maintenance Work On Drinking And Sanitation Networks