Scala - fin généricité et covariance, début types virtuels