Ajout de pré-condition dans les constructeurs des controlleurs