Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)