ALENON salt, an obsolete name of the oil of almonds.