Cycle ingénieur : Génie Biomédical

Année universitaire 2023-2024

Mémoire de projet de fin d’études

Intitulé :

Évaluation de l’efficacité de la stérilisation par plasma sur

les dispositifs médicaux :
Comparaison avec d’autres méthodes de stérilisation

Présenté par :

El Yousfi Mohamed amine

Le X Juillet 2024 devant le jury composé de :

Pr. Président

Pr. Examinateur

Pr. Examinateur

Pr. Encadrant
 ‫ِبْس ِم ٱِهَّٰلل ٱلَّرْح َٰم ِن ٱلَّر ِح يِم‬

‫وِإْذ َقاَل َر ُّبَك ِلْلَم اَل ِئَك ِة ِإِّني َج اِع ٌل ِفي‬

‫اَأْلْر ِض َخ ِليَفًة َقاُلوا َأَتْج َع ُل ِفيَها َم ن ُيْفِس ُد‬
‫ِفيَها َو َيْس ِفُك الِّد َم اَء َو َنْح ُن ُنَس ِّبُح ِبَحْمِد َك‬
‫َو ُنَقِّد ُس َلَك َقاَل ِإِّني َأْع َلُم َم ا اَل َتْع َلُم وَن *‬
‫َو َع َّلَم آَد َم اَأْلْس َم اَء ُك َّلَها ُثَّم َع َرَض ُهْم َع َلى‬
‫اْلَم اَل ِئَك ِة َفَقاَل َأنِبُئوِني ِبَأْس َم اِء َهـُؤ اَل ِء ِإن‬
‫ُك نُتْم َص اِدِقيَن * َقاُلوا ُس ْبَح اَنَك اَل ِع ْلَم َلَنا‬
‫ِإاَّل َم ا َع َّلْم َتَنا ِإَّنَك َأنَت اْلَعِليُم اْلَحِكيُم * َقاَل‬
‫َيا آَد ُم َأنِبْئُهم ِبَأْس َم اِئِهْم َفَلَّم ا َأنَبَأُهم ِبَأْس َم اِئِهْم‬
‫َقاَل َأَلْم َأُقل َّلُك ْم ِإِّني َأْع َلُم َغْيَب الَّس َم اَو اِت‬
‫َو اَأْلْر ِض َو َأْع َلُم َم ا ُتْبُد وَن َو َم ا ُك نُتْم‬
‫َتْك ُتُم وَن ) سورة البقرة – اآليات من ‪30‬‬
‫إلى ‪33‬‬

‫‪ii‬‬
 Dédicace

À la mémoire de mon cher père, Mounir, dont le souvenir et l'amour

continuent à illuminer mon chemin chaque jour. Ses valeurs, son
soutien et son héritage resteront à jamais gravés dans mon cœur et
dans chacune de mes réalisations.

À ma mère Houda, à mon frère Abdelghani et à ma sœur Marwa , qui

ont été mes piliers de force, mes soutiens inconditionnels et mes
compagnons de route tout au long de ce parcours académique. Leur
amour, leur compréhension et leur présence ont été une source
constante de réconfort et d'inspiration pour moi.

À ma famille, dont l'amour et le soutien ont été le moteur de ma

réussite, je vous dédie ce travail avec une profonde gratitude et un
immense amour.

Cette dédicace est un témoignage humble de l'importance de la

famille dans ma vie et de ma reconnaissance éternelle envers ceux qui
ont façonné mon parcours et m'ont aidé à atteindre ce jalon
significatif. Merci pour tout.

Mohamed Amine
iii
 Remerciements

Mes remerciements les plus sincères à toutes les personnes qui ont contribué de
près ou de loin à l’élaboration de cette mémoire ainsi qu’à la réussite de cette
formidable année universitaire.

Je remercie piètrement Allah le tout puissant de m’avoir donné le courage et la

volonté de mener à terme ce présent travail.

J’adresse mes vifs remerciements :

A mon encadrant pidagogique

Mr. EL BEKKALI Driss pour sa disponibilité et l’encouragement, pour les

conseils et le temps consacré pour le bon déroulement de ce travail ainsi que son
écoute, son

orientation tout le long de la réalisation de ce projet.

A mon encadrant professionnel

iv
 Mr. AGNI Mohamed pour son encadrement, son soutien sans failles et sa
disponibilité. Ses conseils, ses suggestions de lecture, ses commentaires, ont été
très précieux pour mener à bien ce travail.

A tous les enseignants de l’ESGB

Pour leur dévouement et leur engagement tout le long de ma formation de cycle

ingénieur.

Je tiens également à remercier et exprimer mon profond respect aux membres de

jury d’avoir accepté de juger ce travail.

Ce rapport est le fruit d'un travail d'équipe exceptionnel et je suis honoré de pouvoir
partager ces accomplissements avec vous tous. Votre implication et votre soutien
ont été essentiels pour atteindre cet objectif, et je ne saurais assez-vous remercier.

v
 Résumé
(1-2 pages)

Présentation en quelques lignes du contenu du mémoire. Viser 1 page, mais ne pas dépasser
2 pages. Présenter l'objectif, les résultats obtenus et leur importance.

vi
 Remerciements

Merci à ………….., qui a fourni la première ébauche de ce document Word. Merci a

……………., qui a préparé la première version LaTeX du modèle de mémoire et thèse, dont
ce document s'inspire largement.

vii
 Table des matières
Liste des abréviations..........................................................................................vi

Liste des tableaux...............................................................................................vii

Liste des figures................................................................................................viii

Introduction générale............................................................................................1
Contexte.................................................................................................................................1
Objectifs.................................................................................................................................1
Méthodologie.........................................................................................................................1
Résultats.................................................................................................................................1
Structure du mémoire.............................................................................................................1

Chapitre 1 Modélisation de la connaissance........................................................2

1.1 Langages/outils de modélisation.................................................................................2
1.1.1 Sous-titre de 1.1...................................................................................................2
1.2 Étude de Description Logic.........................................................................................2
1.3 Proposition : le procédé @L-is....................................................................................2

viii
Chapitre 2 Directives lexicales, syntaxiques et typographiques..........................3
2.1 Du temps des verbes....................................................................................................3
2.2 Du pronom désignant l'auteur du mémoire.................................................................3
2.3 Du pronom désignant le lecteur ou une personne en général......................................3
2.4 De l'usage des auxiliaires avoir et être et du verbe aller..............................................4
2.5 De la définition des termes..........................................................................................4
2.6 Code source.................................................................................................................4
2.7 Formules mathématiques.............................................................................................4
2.8 De la mise en page.......................................................................................................5
2.9 Listes............................................................................................................................6

Chapitre 3 Figures, tableaux et bibliographie.......................................................7

3.1 Figures.........................................................................................................................7
3.2 Tableaux......................................................................................................................9
3.3 Bibliographie.............................................................................................................10

Conclusion générale...........................................................................................12
Contributions........................................................................................................................12
Critique du travail................................................................................................................12
Travaux futurs......................................................................................................................12
Perspective...........................................................................................................................12

Bibliographie......................................................................................................13

Annexe A Démonstrations.................................................................................15
A.1 Ordre d'application des définitions............................................................................15
A.1.1 Cas de base.............................................................................................................15
A.1.1.1 Sous-cas..............................................................................................................15
A.1.1.1.1 Sous-sous-cas.................................................................................................15
A.2 Récursivité mutuelle de "ERA" et "AddDefinition".................................................15

ix
 A.3 Quantificateurs dans "ComputeSolution"..................................................................15

Annexe B Algorithmes ERA et FCA précédents...............................................16

B.1 Algorithme FCA........................................................................................................16
B.2 Algorithme ERA........................................................................................................16

x
 Liste des abréviations

UM6SS Université Mohammed VI des Sciences de la Santé

ESGB Ecole Supérieure de Génie Biomédical

xi
 Liste des tableaux

Tableau 1 - Liste des styles définis pour les mémoires et thèses.............................................10

xii
 Liste des figures

Figure 1 - Algorithme A*...........................................................................................................4

Figure 2 - Menu pour l'insertion d'une figure.............................................................................8
Figure 3 - Menu pour l'insertion d'une légende d'une figure......................................................8
Figure 4 - Menu pour l'insertion d'un renvoi à une figure..........................................................9
Figure 5 - Fenêtre permettant de choisir le type de renvoi.........................................................9
Figure 6 - Définition d'un signet pour une entrée de la bibliographie.....................................11
Figure 7 - Insertion d'un renvoi à une entrée de la bibliographie.............................................11

xiii
 Introduction générale

Contexte

Objectifs

Méthodologie

Résultats

Structure du mémoire

1
 Chapitre 1

Modélisation de la connaissance

1.1 Langages/outils de modélisation

1.1.1 Sous-titre de 1.1

1.1.1.1 Sous-titre de 1.1.1

1.1.1.1.1 Sous-titre de 1.1.1.1

Il est préférable d'éviter ce niveau de numérotation. Il s'agit généralement d'un signe de
restructuration du mémoire.

1.2 Étude de Description Logic

1.3 Proposition : le procédé @L-is

2
 Chapitre 2

Directives lexicales, syntaxiques et typographiques

Voici un exemple de texte entre le titre et la première section du chapitre. Il sert à introduire
brièvement le contenu du chapitre.

2.1 Du temps des verbes

Utilisez le temps présent pour les verbes.

Exemple : Dans ce chapitre, nous introduisons la notation utilisée pour le reste du mémoire.

2.2 Du pronom désignant l'auteur du mémoire

Utilisez « nous » pour désigner l'auteur du mémoire.

Exemple : Dans ce chapitre, nous introduisons la notation utilisée pour le reste du mémoire.

2.3 Du pronom désignant le lecteur ou une personne en général

Utilisez « on » pour désigner le lecteur ou une personne en général.

Exemple : On note que cette liste est fort longue.

Exemple : Dans la phase de programmation, on doit tout d'abord obtenir une spécification
précise du programme.

3
2.4 De l'usage des auxiliaires avoir et être et du verbe aller

Il est généralement préférable d'utiliser un verbe d'action au lieu des auxiliaires être, avoir et
aller.

2.5 De la définition des termes

Chaque terme doit être défini avant d'être utilisé (sauf les termes dont la définition est
supposée connue du lecteur). Évitez l'usage des synonymes ; utilisez un seul terme pour un
concept donné.

2.6 Code source

Si vous avez du code source, mettez-le dans une figure constituée d'un tableau. Voir la
Figure 1 comme exemple.

function A*(start,goal)

var closed := the empty set

var q := make_queue(path(start))
while q is not empty
var p := remove_first(q)
var x := the last node of p
if x in closed
continue
if x = goal
return p
add x to closed
foreach y in successors(x)
enqueue(q, p, y)
return failure

Figure 1 - Algorithme A*

2.7 Formules mathématiques

Utilisez Microsoft Equation (« Menu Insertion→Objet→Microsoft Equation 3.0 ») pour vos

formules mathématiques. L'exemple ci-dessous utilise le champ « Word SEQ équation »
pour numéroter les équations. On peut y faire référence en définissant un signet et un renvoi
4
à ce signet (voir la bibliographie pour déterminer comment procéder). Voici un exemple de
renvoi à l'équation (1) et à l'équation (2).

( )()(
a b
c d
e
× =
f
ae+bf
ce+df ) (1)

x, y  z1 , z 2  x  z1  z 2  y (2)

2.8 De la mise en page

1) Utilisez les chevrons (« ») au lieu des guillemets anglais (" “ ”) pour citer ou
distinguer.

2) Utilisez les chevrons et l'italique pour les termes d'une langue étrangère : par
exemple, schéma de conception (« design pattern »).

3) Les termes en anglais doivent être traduits autant que possible, sauf pour les mots-
clés d'un langage technique particulier (par exemple, un langage de
programmation); voir le Grand dictionnaire terminologique de l'OLF pour les
traductions:
http://www.granddictionnaire.com/btml/fra/r_motclef/index800_1.asp

4) Vous pouvez utiliser l'italique ou le gras pour mettre en évidence des termes.
Toutefois, il convient de les utiliser de manière uniforme, et avec parcimonie.

5) Vous pouvez choisir vos propres conventions pour la mise en page du code source,
du texte mathématique et autres notations techniques ; elles doivent être appliquées
de manière uniforme.

6) Modifiez les styles ou créez de nouveaux styles, à partir du menu «

Format→Styles et mise en forme », au lieu d'utiliser les mises en forme à partir du
menu « Format→Police » ou « Format→Paragraphe ». L'usage des styles permet

5
 de modifier la mise en page de votre texte sans repasser à travers tout le document.
Vous avez simplement à modifier le style en question.

7) Vous pouvez aussi utiliser un style qui s'applique à une suite de caractères plutôt
qu'à un paragraphe ; par exemple, le style « identificateur » est utilisé pour mettre
en forme un identificateur de programme : nbActiveSession.

8) La mise en page et le positionnement des figures et des tableaux étant

généralement un calvaire, il vaut mieux s'en occuper seulement à la fin.

9) Insérez deux espaces entre deux phases pour augmenter la lisibilité.

2.9 Listes

Il est souvent nécessaire de présenter de l'information sous forme synthétique ou sous forme
de séquence. Les listes sont un excellent outil pour présenter ce genre d'information. Celles-ci
peuvent être numérotées ou non numérotées.

Voici un exemple de liste numérotée.

10) Cette liste utilise le style « Liste numérotée ».

10.1) Ce style permet de présenter l'information de façon hiérarchisée et en séquence ;

11) Ce style propose une numérotation alignée à gauche mais un texte indenté.

Voici un exemple de liste non numérotée.

 Cette liste utilise le style « Liste non numérotée ».

 Par défaut, des puces différentes sont définies pour les quatre premiers niveaux
hiérarchiques.

 Si vous le désirez, vous pouvez changer les puces proposées.

6
 Chapitre 3

Figures, tableaux et bibliographie

Chaque figure et chaque tableau doit être référencé avant d'être présenté. Utilisez les
mécanismes de Word pour insérer des figures, des tableaux, des légendes, une bibliographie
et des renvois à ces éléments. Ce chapitre illustre ces mécanismes de Word.

3.1 Figures

La Figure 2 illustre le menu à utiliser pour insérer l'image d'une figure. Pour la figure,
utilisez le style Word « figure » qui permet de mettre en forme une figure. La Figure 3
illustre le menu Word à utiliser pour l'insertion de la légende d'une figure. Finalement, la
Figure 4 illustre le menu Word permettant d'insérer un renvoi, c'est-à-dire une référence à une
figure dans le texte, comme celle-ci : Figure 4. La Figure 5 illustre les options à choisir dans
la fenêtre d'un renvoi pour ne faire apparaître que le mot « Figure » ainsi que son numéro.

7
 Figure 2 - Menu pour l'insertion d'une figure

Figure 3 - Menu pour l'insertion d'une légende d'une figure

8
 Figure 4 - Menu pour l'insertion d'un renvoi à une figure

Figure 5 - Fenêtre permettant de choisir le type de renvoi

3.2 Tableaux

Le Tableau 1 illustre comment structurer un tableau sous Word. Un renvoi à un tableau

s'effectue de la même manière qu'un renvoi à une figure, sauf qu'on utilise la catégorie
tableau.

9
 Tableau 1 - Liste des styles définis pour les mémoires et thèses

Titre x Utiliser pour les titres de chapitre numéroté.

Titre x sans numéro Utiliser pour l'introduction, la conclusion et toutes

les autres sections comportant des listes (table des
matières, listes des figures, liste des tableaux, etc).

Annexe x Utiliser pour les annexes.

Corps de texte Utiliser pour les paragraphes du texte.

equation Utiliser pour les équations mathématiques

numérotées.

bibliographie Utiliser pour les entrées de la bibliographie.

Figure Utiliser pour le paragraphe contenant la figure si

vous choisissez le format de l'image « aligné sur le
texte »; si vous choisissez un autre format, il n'y a
pas de style qui s'applique.

3.3 Bibliographie

Cette section illustre comment insérer des entrées dans une bibliographie et y faire des
renvois. La bibliographie est un peu plus difficile à gérer que les figures et tableaux. Les
entrées sont numérotées automatiquement en utilisant le champ Word « SEQ biblio ». Si
vous copiez une entrée de la bibliographie de ce document pour créer une nouvelle entrée,
elle sera automatiquement numérotée par Word. Appuyez sur F9 lorsque votre curseur est
situé tout juste à gauche du numéro et Word recalculera sa valeur. Pour faire un renvoi à
cette entrée de la bibliographie, on utilise les signets. Il faut d'abord définir un signet sur le

10
numéro de l'entrée de la bibliographie en le sélectionnant et en utilisant le menu «
Insertion→Signet ». La Figure 6 illustre la fenêtre à cet effet. Ensuite, on peut faire un
renvoi dans le texte à cette entrée en utilisant le nom du signet. Par exemple, voici un renvoi
à l'entrée « frappier2006 » : [5]. La Figure 7 illustre l'insertion d'un renvoi. On peut mettre
une liste d'entrées en insérant tous les renvois, par exemple [1,5,8], ce qui est préférable à la
notation [1], [5], [8].

Figure 6 - Définition d'un signet pour une entrée de la bibliographie

Figure 7 - Insertion d'un renvoi à une entrée de la bibliographie

11
 Conclusion générale

Contributions

Insérez un texte décrivant les contributions du mémoire

Critique du travail

Insérez un texte faisant une critique du travail

Travaux futurs

Insérez un texte décrivant les extensions possibles du travail

Perspective

Insérez un texte décrivant la perspective

12
13
 Bibliographie

Il est préférable d'éviter les références à des documents du Web quand cela est possible (à
cause de leur instabilité). On peut trier la bibliographie par auteur. Cette bibliographie
comprend des exemples de livre, chapitre de livre, article de revue, article de conférence,
rapport technique, document web.

Livre, monographie
[1] Abrial, J.-R. : The B-Book. Cambridge University Press, 1996.
Article d'actes de conférence
[2] Bherer, H., Desharnais, J., Frappier, M., St. Denis, R.: Investigating Discrete
Controllability with Kleene Algebra, in Relational and Kleene-Algebraic Methods in
Computer Science (7th International Seminar on Relational Methods in Computer
Science / 2nd International Workshop on Applications of Kleene Algebra),
Berghammer, R.; Möller, B.; Struth, G. (Eds.), Lecture Notes in Computer Science
3051, Springer-Verlag, 2004, pp 74-85.
Articles de revue
[3] Evans, N., Treharne, H., Laleau, R., Frappier, M.: Applying CSP||B to Information
Systems, Software and Systems Modeling, 17 pages, à paraître.
[4] Fraikin, B., Frappier, M., Laleau, R.: State-Based versus Event-Based Specifications
for Information Systems: a Comparison of B and EB3, Software and Systems
Modeling, 4(3), July 2005, pp 236-257.
Ouvrage colectif
[5] Frappier, M., Habrias, H. (Eds) : Software Specification Methods : An Overview
Using a Case Study, Hermes Science Publishing, London, England, 2006.

14
Rapport Technique
[6] Frappier, M., Laleau, R.: Proving the Refinement of Scenarios into Object-Oriented
Models. Rapport technique CEDRIC n°277, Institut d'Informatique d'Entreprise,
Conservatoire National des Arts et Métiers, Évry, et Rapport technique n° 272,
Département de mathématiques et d'informatique, Université de Sherbrooke, Québec,
Canada, août 2001.
Article d'un ouvrage collectif
[7] Gervais, F., Frappier, M., St-Denis, R.: EB3. in Software Specification Methods: An
Overview Using a Case Study, M. Frappier, H. Habrias, Eds., Hermes Science
Publishing, London, England, avril 2006.
Livre (autre exemple)
[8] Hoare, C.A.R. : Communicating Sequential Processes, Prentice-Hall, Englewood
Cliffs, NJ, 1985.
Documents web
[9] JUnit.org. http://www.junit.org.
[10] Object Management Group: Unified Modeling Language: Superstructure v. 2.1.1,
http://www.omg.org/cgi-bin/apps/doc?formal/07-02-03.pdf

15
 Annexe A
Démonstrations

A.1 Ordre d'application des définitions

A.1.1 Cas de base

A.1.1.1 Sous-cas

A.1.1.1.1 Sous-sous-cas

A.2 Récursivité mutuelle de "ERA" et "AddDefinition"

A.3 Quantificateurs dans "ComputeSolution"

16
 Annexe B
Algorithmes ERA et FCA précédents

B.1 Algorithme FCA

B.2 Algorithme ERA

17