-- Définition d'une exception commune à toutes les SDA. package SDA_Exceptions is Cle_Absente_Exception : Exception; -- une clé est absente d'un SDA end SDA_Exceptions;