Bah non par vacuité, il peut très bien y avoir 30 façons de définir 0 objets