Quelques résultats de la vacation du 12 mai 2017