Définitionsbi-premier