Rectifications homonymiques dans les genres Palaminus Erichson et Pinophilus Gravenhorst (Col. Staphylinidae). Nouvelle Revue d'Entomologie, 6(4) 1990: 349. 349 [Zoological Record Volume 127]