Introduction aux algèbres de Post et à leurs applications — Michel Serfati