Faut-il féliciter Mariano Rajoy?