Definition of Franc Aleu