Definition of Bilagines