Le contenu de ce dépôt a été éclaté le 01/06/2018 en trois dépôts distincts (r_init, r_perf et r_dev) pour faciliter leur maintenance et leur réutilisation.
The content of this repo was split on June 1st 2018 between three different repos (r_init, r_perf and r_dev) to make them easier to maintain and to fork.