docs: def get_minimum(self):
          '''
          Return
              (t1, t2, value) triple where the value is the minimal one.
          '''
          return (self._min_value_t1, self._min_value_t2,
                  self._min_value,    self._min_value_data)