Implémentations dans le PDA