15 D * c . Agda , Lind , g . LBarceloua