Add 05.entiers_barendregt.mkd