Implémentation de head et tail de manière formelle