with function Pouet (X, Y: Element_T) return Element_T is abstract <>;