Pour lutter contre le terrorisme, la France mise sur les algorithmes