Les BDDs (Binary Decision Diagrams) et leurs applications