Il n'y a pas de problème de définir une fonction/procédure autonome et aussi dans un package. Il faut la redéfinir dans le corps du package et la déclarer aussi dans le spécification.