Nous présentons un exemple de réutilisation de patterns de spécification avec la méthode B. L'idée est de bénéficier aussi bien des avantages d'une méthode formelle telle que B que ceux des composants réutilisables comme les patterns utilisés en UML pour concevoir des applications. Les patterns Composite et Resource Allocation, qui sont couramment utilisés dans les approches semi-formelles, ont été dans un premier temps spécifiés en B afin d'être "réutilisés". En s'appuyant sur un exemple d'allocation de dossiers à des secrétaires, la réutilisation des patterns a été traduite en B par l'utilisation de mécanismes existant dans la méthode, comme l'inclusion et le raffinement. Les spécifications ainsi obtenues ont pu être validées grâce aux outils associés à la méthode B.