petit changement du type de split, select ~> engendre, propagation