Ce qu'on pourrait dire sur la mécanisation des mathématiques