https://www.lojiciels.com/comment-savoir-si-gnu-est-installe-sur-linux/