A . Petré ( f Son.