preuve d'inférence ykkyk